@TechReport{VerifyThis17,
author = {Marieke Huisman and Rosemary Monahan and
Wojciech Mostowski and
Peter M{\"u}ller and Mattias Ulbrich},
title = {{VerifyThis 2017}: A Program Verification Competition},
institution = {Karlsruhe Institute of Technology},
series = {Karlsruhe Reports in Informatics},
year = {2017},
month = dec,
number = {2017,10},
doi = {10.5445/ir/1000077160},
url = {https://publikationen.bibliothek.kit.edu/1000077160}
}
VerifyThis 2017: A Program Verification Competition
| Author(s): | Marieke Huisman, Rosemary Monahan, Wojciech Mostowski, Peter Müller, and Mattias Ulbrich |
|---|---|
| Institution: | Karlsruhe Institute of Technology |
| Series: | Karlsruhe Reports in Informatics |
| Number: | 2017,10 |
| Year: | 2017 |
| Preprint/PDF: | verifythis2017.pdf |
| URL: | https://publikationen.bibliothek.kit.edu/1000077160 |
| DOI: | 10.5445/ir/1000077160 |