@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 =          "http://dx.doi.org/10.1109/SEFM.2008.10"
}