KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
Download
Originalveröffentlichung
DOI: 10.1007/978-3-642-38916-0_4

A Metric for Testing Program Verification Systems

Beckert, B.; Bormer, T.; Wagner, M.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2013
Sprache Englisch
Identifikator ISBN: 978-3-642-38915-3
ISSN: 0302-9743
KITopen-ID: 1000039061
Erschienen in Tests and Proofs - 7th International Conference (TAP'13), Budapest, Hungary, June 16-20, 2013 - Proceedings. Ed.: M. Veanes
Verlag Springer, Berlin
Seiten 56-75
Serie Lecture Notes in Computer Science ; 7942
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page