%0 Conference Paper %1 conf/nfm/Leino11 %A Leino, K. Rustan M. %B NASA Formal Methods %D 2011 %E Bobaru, Mihaela Gheorghiu %E Havelund, Klaus %E Holzmann, Gerard J. %E Joshi, Rajeev %I Springer %K dblp %P 1 %T From Retrospective Verification to Forward-Looking Development. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2011.html#Leino11 %V 6617 %@ 978-3-642-20397-8

@inproceedings{conf/nfm/Leino11, added-at = {2018-06-26T00:00:00.000+0200}, author = {Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/2e6bd35d01b3c7a9672aec29fbed6816c/dblp}, booktitle = {NASA Formal Methods}, crossref = {conf/nfm/2011}, editor = {Bobaru, Mihaela Gheorghiu and Havelund, Klaus and Holzmann, Gerard J. and Joshi, Rajeev}, ee = {https://doi.org/10.1007/978-3-642-20398-5_1}, interhash = {af4e392a97bd0a2cb79e2b2c29877200}, intrahash = {e6bd35d01b3c7a9672aec29fbed6816c}, isbn = {978-3-642-20397-8}, keywords = {dblp}, pages = 1, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:10:40.000+0200}, title = {From Retrospective Verification to Forward-Looking Development.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2011.html#Leino11}, volume = 6617, year = 2011 }