@InProceedings{Samborski:2008:SEFM, author = "G. Barthe and C. Kunz and D. Pichardie and J. {Samborski Forlese}", title = "Preservation of Proof Obligations for Hybrid Certification Methods", booktitle = "6th IEEE International Conference on Software Engineering and Formal Methods, SEFM '08", year = "2008", pages = "127--136", publisher = "IEEE Computer Society", isbn = "978-0-7695-3437-4", url = " " }