Frédéric Vogels, Bart Jacobs 0002, Frank Piessens. A Machine Checked Soundness Proof for an Intermediate Verification Language. In Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia, editors, SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Volume 5404 of Lecture Notes in Computer Science, pages 570-581, Springer, 2009. [doi]
@inproceedings{VogelsJP09, title = {A Machine Checked Soundness Proof for an Intermediate Verification Language}, author = {Frédéric Vogels and Bart Jacobs 0002 and Frank Piessens}, year = {2009}, doi = {10.1007/978-3-540-95891-8_51}, url = {http://dx.doi.org/10.1007/978-3-540-95891-8_51}, researchr = {https://researchr.org/publication/VogelsJP09}, cites = {0}, citedby = {0}, pages = {570-581}, booktitle = {SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings}, editor = {Mogens Nielsen and Antonín Kucera and Peter Bro Miltersen and Catuscia Palamidessi and Petr Tuma and Frank D. Valencia}, volume = {5404}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-95890-1}, }