KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1007/978-3-030-03421-4_4
Scopus
Zitationen: 1

Towards a notion of coverage for incomplete program-correctness proofs

Beckert, B.; Herda, M.; Kobischke, S.; Ulbrich, M.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2018
Sprache Englisch
Identifikator ISBN: 978-3-030-03420-7
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000088373
Erschienen in 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018; Limassol; Cyprus; 5 November 2018 through 9 November 2018. Ed.: T. Margaria
Verlag Springer, Cham
Seiten 53-63
Serie Lecture notes in computer science ; 11245
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page