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
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Karlsruher Institut für Technologie. Karlsruhe reports in informatics ; 2017, 10Verlag: Karlsruhe : KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017Beschreibung: 1 Online-Ressource (11 Seiten, 477,41 KB)Genre/Form: DOI: DOI: 10.5445/IR/1000077160Online-Ressourcen: PPN: PPN: 1657376826Dieser Titel hat keine Exemplare