KIT | KIT-Bibliothek | Impressum

Proof Reuse

Beckert, B.; Klebanov, V.; Schlager, S.



Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Buchaufsatz
Jahr 2006
Sprache Englisch
Identifikator ISBN: 978-3-540-69061-0
ISSN: 0302-9743
KITopen ID: 1000032952
Erschienen in Verification of Object-Oriented Software: The KeY Approach
Verlag Springer, Berlin
Seiten 507-529
Serie Lecture Notes in Computer Science ; 4334
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page