KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
Download
Originalveröffentlichung
DOI: 10.1007/s10009-016-0438-x

VerifyThis 2015 : A program verification competition

Huisman, Marieke; Klebanov, Vladimir; Monahan, Rosemary; Tautschnig, Michael



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Zeitschriftenaufsatz
Jahr 2016
Sprache Englisch
Identifikator ISSN: 1433-2779, 1433-2787
KITopen ID: 1000061527
Erschienen in International journal on software tools for technology transfer
Band 19
Heft 6
Seiten 763-771
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page