@inproceedings{4394, author = {Bouillaguet,Charles and Kuncak, Viktor and Thomas Wies and Zee,Karen and Rinard,Martin C.}, pages = {74 -- 88}, publisher = {Springer}, title = {{Using First-Order Theorem Provers in the Jahob Data Structure Verification System}}, doi = {1552}, year = {2007}, }