Marieke Huisman, Vladimir Klebanov, Rosemary Monahan. VerifyThis 2012 - A Program Verification Competition. STTT, 17(6):647-657, 2015. [doi]
@article{HuismanKM15,
title = {VerifyThis 2012 - A Program Verification Competition},
author = {Marieke Huisman and Vladimir Klebanov and Rosemary Monahan},
year = {2015},
doi = {10.1007/s10009-015-0396-8},
url = {http://dx.doi.org/10.1007/s10009-015-0396-8},
researchr = {https://researchr.org/publication/HuismanKM15},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {17},
number = {6},
pages = {647-657},
}