%0 Journal Article %1 journals/sttt/HuismanKMT17 %A Huisman, Marieke %A Klebanov, Vladimir %A Monahan, Rosemary %A Tautschnig, Michael %D 2017 %J STTT %K dblp %N 6 %P 763-771 %T VerifyThis 2015 - A program verification competition. %U http://dblp.uni-trier.de/db/journals/sttt/sttt19.html#HuismanKMT17 %V 19

@article{journals/sttt/HuismanKMT17, added-at = {2019-06-02T00:00:00.000+0200}, author = {Huisman, Marieke and Klebanov, Vladimir and Monahan, Rosemary and Tautschnig, Michael}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23fdc16dd073d34bac8e63248e823cb47/dblp}, ee = {https://www.wikidata.org/entity/Q59602816}, interhash = {58a1e53e5bc8f077a68c43b052dfee8c}, intrahash = {3fdc16dd073d34bac8e63248e823cb47}, journal = {STTT}, keywords = {dblp}, number = 6, pages = {763-771}, timestamp = {2019-09-27T08:37:51.000+0200}, title = {VerifyThis 2015 - A program verification competition.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt19.html#HuismanKMT17}, volume = 19, year = 2017 }