KIT | KIT-Bibliothek | Impressum | Datenschutz

Integrating Verification and Testing of Object-Oriented Software

Engel, C.; Gladisch, C.; Klebanov, V.; Rümmer, P.


Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2008
Sprache Englisch
Identifikator ISBN: 978-3-540-79123-2
ISSN: 0302-9743
KITopen-ID: 1000032950
Erschienen in Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
Verlag Springer-Verlag
Seiten 182-191
Serie Lecture Notes in Computer Science ; 4966
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page