KIT | KIT-Bibliothek | Impressum
Originalveröffentlichung
DOI: 10.1007/978-3-642-25271-6_4

Improving the usability of specification languages and methods for annotation-based verification

Beckert, B.; Bormer, T.; Klebanov, V.



Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2012
Sprache Englisch
Identifikator ISBN: 978-3-642-25270-9
ISSN: 0302-9743
KITopen ID: 1000032946
HGF-Programm 46.12.03; LK 01
Erschienen in Proceeding FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Verlag Springer, Berlin
Seiten 61-79
Serie Lecture Notes in Computer Science ; 6957
Projektinformation KASTEL I (BMBF, 01BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page