KIT | KIT-Bibliothek | Impressum

VerifyThis 2015 – A program verification competition [in press]

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 DOI: 10.1007/s10009-016-0438-x
ISSN: 1433-2779, 1433-2787
KITopen ID: 1000061527
Erschienen in International journal on software tools for technology transfer
Seiten 1-9
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page