Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese. Preservation of Proof Pbligations for Hybrid Verification Methods. In Antonio Cerone, Stefan Gruner, editors, Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008. pages 127-136, IEEE Computer Society, 2008. [doi]
@inproceedings{BartheKPS08,
title = {Preservation of Proof Pbligations for Hybrid Verification Methods},
author = {Gilles Barthe and César Kunz and David Pichardie and Julián Samborski-Forlese},
year = {2008},
doi = {10.1109/SEFM.2008.10},
url = {http://dx.doi.org/10.1109/SEFM.2008.10},
researchr = {https://researchr.org/publication/BartheKPS08},
cites = {0},
citedby = {0},
pages = {127-136},
booktitle = {Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008},
editor = {Antonio Cerone and Stefan Gruner},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3437-4},
}