%0 Conference Paper %1 conf/sigada/Leino12 %A Leino, K. Rustan M. %B HILT %D 2012 %E Brosgol, Ben %E Boleng, Jeff %E Taft, S. Tucker %I ACM %K dblp %P 9-10 %T Developing verified programs with Dafny. %U http://dblp.uni-trier.de/db/conf/sigada/hilt2012.html#Leino12 %@ 978-1-4503-1505-0

@inproceedings{conf/sigada/Leino12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/2d66a873ec42ee07554ae98ebf7dd3d49/dblp}, booktitle = {HILT}, crossref = {conf/sigada/2012}, editor = {Brosgol, Ben and Boleng, Jeff and Taft, S. Tucker}, ee = {https://doi.org/10.1145/2402676.2402682}, interhash = {5166b0ddc96f474ed2de0d2b9890c378}, intrahash = {d66a873ec42ee07554ae98ebf7dd3d49}, isbn = {978-1-4503-1505-0}, keywords = {dblp}, pages = {9-10}, publisher = {ACM}, timestamp = {2024-04-09T17:43:13.000+0200}, title = {Developing verified programs with Dafny.}, url = {http://dblp.uni-trier.de/db/conf/sigada/hilt2012.html#Leino12}, year = 2012 }