%0 Generic
%T VerifyThis 2017 a program verification competition
%A Huisman, Marieke
%A Monahan, Rosemary
%A Müller, Peter
%A Mostowski, Wojciech
%A Ulbrich, Mattias
%A Karlsruher Institut für Technologie Fakultät für Informatik
%I KIT Karlsruher Institut für Technologie, Fakultät für Informatik
%K Forschungsbericht
%D 2017
%X Literaturverzeichnis: Seite 8-9
%C KIT Karlsruher Institut für Technologie, Fakultät für Informatik
%C Karlsruhe
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation