VerifyThis 2017 : a program verification competition / Marieke Huisman, Rosemary Monahan, Peter Müller, Wojciech Mostowski, Mattias Ulbrich ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Karlsruher Institut für Technologie. Karlsruhe reports in informatics ; 2017, 10Publisher: Karlsruhe : KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017Description: 1 Online-Ressource (11 Seiten, 477,41 KB)Genre/Form: DOI: DOI: 10.5445/IR/1000077160Online resources: PPN: PPN: 1657376826No physical items for this record