Media type: E-Book Title: VerifyThis 2017 : a program verification competition Contributor: Huisman, Marieke [VerfasserIn]; Monahan, Rosemary [VerfasserIn]; Müller, Peter [VerfasserIn]; Mostowski, Wojciech [VerfasserIn]; Ulbrich, Mattias [VerfasserIn] Corporation: Karlsruher Institut für Technologie, Fakultät für Informatik imprint: Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2017,10 Extent: 1 Online-Ressource (11 Seiten, 477,41 KB) Language: English DOI: 10.5445/IR/1000077160 Identifier: Keywords: Forschungsbericht Origination: Footnote: Literaturverzeichnis: Seite 8-9 Access State: Open Access