%0 Book Section %1 series/natosec/KoenigL12 %A Koenig, Jason %A Leino, K. Rustan M. %B Software Safety and Security %D 2012 %E Nipkow, Tobias %E Grumberg, Orna %E Hauptmann, Benedikt %I IOS Press %K dblp %P 152-181 %T Getting Started with Dafny: A Guide. %U http://dblp.uni-trier.de/db/series/natosec/natosec33.html#KoenigL12 %V 33 %@ 978-1-61499-028-4

@incollection{series/natosec/KoenigL12, added-at = {2017-05-16T00:00:00.000+0200}, author = {Koenig, Jason and Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/24e3b2762841b76fa5bec03bf3bf502b8/dblp}, booktitle = {Software Safety and Security}, crossref = {series/natosec/33}, editor = {Nipkow, Tobias and Grumberg, Orna and Hauptmann, Benedikt}, ee = {https://doi.org/10.3233/978-1-61499-028-4-152}, interhash = {e4ef7c88ee0c784a11f3203293698432}, intrahash = {4e3b2762841b76fa5bec03bf3bf502b8}, isbn = {978-1-61499-028-4}, keywords = {dblp}, pages = {152-181}, publisher = {IOS Press}, series = {NATO Science for Peace and Security Series - D: Information and Communication Security}, timestamp = {2020-03-05T11:52:20.000+0100}, title = {Getting Started with Dafny: A Guide.}, url = {http://dblp.uni-trier.de/db/series/natosec/natosec33.html#KoenigL12}, volume = 33, year = 2012 }