author = { Reif, Wolfgang AND Stenzel, Kurt },

title = { Reuse of proofs in software verification [preliminary version] },

publisher = {Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme},

year = {1992},

booktitle = {Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 92,26},

address = { Karlsruhe },

url = { http://slubdd.de/katalog?TN_libero_mab2 }