Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. In Byron Cook, Andreas Podelski, editors, Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings. Volume 4349 of Lecture Notes in Computer Science, pages 74-88, Springer, 2007. [doi]
@inproceedings{BouillaguetKWZR07,
title = {Using First-Order Theorem Provers in the Jahob Data Structure Verification System},
author = {Charles Bouillaguet and Viktor Kuncak and Thomas Wies and Karen Zee and Martin C. Rinard},
year = {2007},
doi = {10.1007/978-3-540-69738-1_5},
url = {http://dx.doi.org/10.1007/978-3-540-69738-1_5},
tags = {data-flow, C++},
researchr = {https://researchr.org/publication/BouillaguetKWZR07},
cites = {0},
citedby = {0},
pages = {74-88},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings},
editor = {Byron Cook and Andreas Podelski},
volume = {4349},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-69735-0},
}