1. Lecture Notes in Computer Science;G. Barthe,2009
2. Barthe, G., Grégoire, B., Kunz, C., Rezk, T.: Certificate translation for optimizing compilers. ACM Transactions on Programming Languages and Systems 31(5), 18:1–18:45 (2009)
3. Lecture Notes in Artificial Intelligence;G. Barthe,2008
4. Lecture Notes in Computer Science;G. Barthe,2008
5. Barthe, G., Kunz, C., Pichardie, D., Samborski-Forlese, J.: Preservation of proof obligations for hybrid verification methods. In: Cerone, A., Gruner, S. (eds.) Software Engineering and Formal Methods, pp. 127–136. IEEE Press, Los Alamitos (2008)