%0 Journal Article %1 journals/software/Leino17 %A Leino, K. Rustan M. %D 2017 %J IEEE Software %K dblp %N 6 %P 94-97 %T Accessible Software Verification with Dafny. %U http://dblp.uni-trier.de/db/journals/software/software34.html#Leino17 %V 34

@article{journals/software/Leino17, added-at = {2017-11-22T00:00:00.000+0100}, author = {Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/28612292cccc98a70d6f345e2b5d0e60a/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MS.2017.4121212}, interhash = {194581b9820971e1a05a969905eb92ba}, intrahash = {8612292cccc98a70d6f345e2b5d0e60a}, journal = {IEEE Software}, keywords = {dblp}, number = 6, pages = {94-97}, timestamp = {2017-12-07T15:58:17.000+0100}, title = {Accessible Software Verification with Dafny.}, url = {http://dblp.uni-trier.de/db/journals/software/software34.html#Leino17}, volume = 34, year = 2017 }