%0 Conference Paper %1 conf/vstte/BarnettL10 %A Barnett, Michael %A Leino, K. Rustan M. %B VSTTE %D 2010 %E Leavens, Gary T. %E O'Hearn, Peter W. %E Rajamani, Sriram K. %I Springer %K dblp %P 157-168 %T To Goto Where No Statement Has Gone Before. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2010.html#BarnettL10 %V 6217 %@ 978-3-642-15056-2

@inproceedings{conf/vstte/BarnettL10, added-at = {2017-05-23T00:00:00.000+0200}, author = {Barnett, Michael and Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/2cf7e5b5a1caf3a1a005ec0a097da368d/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2010}, editor = {Leavens, Gary T. and O'Hearn, Peter W. and Rajamani, Sriram K.}, ee = {https://doi.org/10.1007/978-3-642-15057-9_11}, interhash = {50534c6871aae782a14d324cb3b727bf}, intrahash = {cf7e5b5a1caf3a1a005ec0a097da368d}, isbn = {978-3-642-15056-2}, keywords = {dblp}, pages = {157-168}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:25:18.000+0200}, title = {To Goto Where No Statement Has Gone Before.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2010.html#BarnettL10}, volume = 6217, year = 2010 }