%0 Conference Paper %1 conf/ecoop/AhmadiLN15 %A Ahmadi, Reza %A Leino, K. Rustan M. %A Nummenmaa, Jyrki %B FTfJP@ECOOP %D 2015 %E Monahan, Rosemary %I ACM %K dblp %P 4:1-4:5 %T Automatic verification of Dafny programs with traits. %U http://dblp.uni-trier.de/db/conf/ecoop/ftfjp2015.html#AhmadiLN15 %@ 978-1-4503-3656-7

@inproceedings{conf/ecoop/AhmadiLN15, added-at = {2023-03-21T00:00:00.000+0100}, author = {Ahmadi, Reza and Leino, K. Rustan M. and Nummenmaa, Jyrki}, biburl = {https://www.bibsonomy.org/bibtex/2d86a2a2d334968c6e00b4b3123b3fcd4/dblp}, booktitle = {FTfJP@ECOOP}, crossref = {conf/ecoop/2015ftfjp}, editor = {Monahan, Rosemary}, ee = {https://doi.org/10.1145/2786536.2786542}, interhash = {eeb006a0d7131d9636514df5a60f7ed4}, intrahash = {d86a2a2d334968c6e00b4b3123b3fcd4}, isbn = {978-1-4503-3656-7}, keywords = {dblp}, pages = {4:1-4:5}, publisher = {ACM}, timestamp = {2024-04-10T20:56:17.000+0200}, title = {Automatic verification of Dafny programs with traits.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ftfjp2015.html#AhmadiLN15}, year = 2015 }