%0 Conference Paper %1 conf/vstte/LeinoP13 %A Leino, K. Rustan M. %A Polikarpova, Nadia %B VSTTE %D 2013 %E Cohen, Ernie %E Rybalchenko, Andrey %I Springer %K dblp %P 170-190 %T Verified Calculations. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2013.html#LeinoP13 %V 8164 %@ 978-3-642-54107-0

@inproceedings{conf/vstte/LeinoP13, added-at = {2017-05-23T00:00:00.000+0200}, author = {Leino, K. Rustan M. and Polikarpova, Nadia}, biburl = {https://www.bibsonomy.org/bibtex/28d970677eb0f31400132d71c53fe4f9f/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2013}, editor = {Cohen, Ernie and Rybalchenko, Andrey}, ee = {https://doi.org/10.1007/978-3-642-54108-7_9}, interhash = {54dd7ca107f491a5ced08ad21962ef30}, intrahash = {8d970677eb0f31400132d71c53fe4f9f}, isbn = {978-3-642-54107-0}, keywords = {dblp}, pages = {170-190}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:25:10.000+0200}, title = {Verified Calculations.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2013.html#LeinoP13}, volume = 8164, year = 2013 }