Frédéric Vogels, Bart Jacobs, Frank Piessens
A machine-checked soundness proof for an efficient verification condition generator
SAC, 2010.
@inproceedings{SAC-2010-VogelsJP, author = "Frédéric Vogels and Bart Jacobs and Frank Piessens", booktitle = "{Proceedings of the 25th Symposium on Applied Computing}", doi = "10.1145/1774088.1774610", editor = "Sung Y. Shin and Sascha Ossowski and Michael Schumacher and Mathew J. Palakal and Chih-Cheng Hung", isbn = "978-1-60558-639-7", pages = "2517--2522", publisher = "{ACM}", title = "{A machine-checked soundness proof for an efficient verification condition generator}", year = 2010, }