Media type: Book Title: Reuse of proofs in software verification : [preliminary version] Contributor: Reif, Wolfgang [Author]; Stenzel, Kurt [Author] imprint: Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, 1992 Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 92,26 Extent: 19 S.; graph. Darst Language: English RVK notation: SS 5554 : Universität Karlsruhe: Fakultät für Informatik: Interner Bericht Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 95 4 55421 001 Item ID: 30084193 Status: Loanable, place order > Ordering possible ‒ please log in