%0 Conference Paper %1 journals/corr/LeinoW14 %A Leino, K. Rustan M. %A Wüstholz, Valentin %B F-IDE %D 2014 %E Dubois, Catherine %E Giannakopoulou, Dimitra %E Méry, Dominique %K dblp %P 3-15 %T The Dafny Integrated Development Environment. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs149.html#LeinoW14 %V 149

@inproceedings{journals/corr/LeinoW14, added-at = {2018-09-12T00:00:00.000+0200}, author = {Leino, K. Rustan M. and Wüstholz, Valentin}, biburl = {https://www.bibsonomy.org/bibtex/2161cdccb79c2cd3d9b450eadcc949b01/dblp}, booktitle = {F-IDE}, crossref = {journals/corr/DuboisGM14}, editor = {Dubois, Catherine and Giannakopoulou, Dimitra and Méry, Dominique}, ee = {http://arxiv.org/abs/1404.6602}, interhash = {6d4fd963d83373715a548eaf485229aa}, intrahash = {161cdccb79c2cd3d9b450eadcc949b01}, keywords = {dblp}, pages = {3-15}, series = {EPTCS}, timestamp = {2018-09-13T11:39:39.000+0200}, title = {The Dafny Integrated Development Environment.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs149.html#LeinoW14}, volume = 149, year = 2014 }