TY -
BOOK
AU - Reif, Wolfgang
AU - Stenzel, Kurt
TI -
Reuse of proofs in software verification
[preliminary version]
PB - Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme
PY - 1992
BT - Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 92,26
CY - Karlsruhe
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -