KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
Download
Originalveröffentlichung
DOI: 10.1007/978-3-642-21437-0_14
Scopus
Zitationen: 40

The 1st Verified Software Competition: Experience Report

Klebanov, V.; Müller, P.; Shankar, N.; Leavens, G. T.; Wüstholz, V.; Alkassar, E.; Arthan, R.; Bronish, D.; Chapman, R.; Cohen, E.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2011
Sprache Englisch
Identifikator ISBN: 978-3-642-21436-3
ISSN: 0302-9743
KITopen-ID: 1000028626
HGF-Programm 46.12.03 (POF II, LK 01)
Erschienen in FM 2011: Formal Methods 17th International Symposium on Formal Methods Limerick, Ireland, June 20-24, 2011 Proceedings. Ed.: M. Butler
Verlag Springer, Berlin
Seiten 154-168
Serie Lecture Notes in Computer Science ; 6664
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page