KIT | KIT-Bibliothek | Impressum | Datenschutz

Modular specification and verification

Grahl, D. 1; Bubel, R.; Mostowski, W.; Schmitt, P. H. 1; Ulbrich, M. ORCID iD icon 1; Weiß, B. 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1007/978-3-319-49812-6_9
Scopus
Zitationen: 4
Dimensions
Zitationen: 3
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Buchaufsatz
Publikationsjahr 2016
Sprache Englisch
Identifikator ISBN: 978-3-319-49811-9
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000065683
Erschienen in Deductive Software Verification – The KeY Book. From Theory to Practice. Ed. : W. Ahrendt
Verlag Springer International Publishing
Seiten 289-351
Serie Lecture Notes in Computer Science ; 10001
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page