Proof Reuse
Beckert, B.
; Klebanov, V.; Schlager, S.
; Klebanov, V.; Schlager, S.| Zugehörige Institution(en) am KIT | Institut für Technische Informatik (ITEC) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 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-Verlag |
| Seiten | 507-529 |
| Serie | Lecture Notes in Computer Science ; 4334 |