Publication A Technique for Reusing Proofs in Software Verification Axel Schairer Mastersthesis, FB 14 (Informatik) der Universität des Saarlandes und Institut A für Mechanik der Universität Stuttgart, Saarbrücken/Stuttgar, 3/1998. BibTeX Export A Technique for Reusing Proofs in Software Verification@masterthesis{pub1648, author = { Schairer, Axel }, title = {A Technique for Reusing Proofs in Software Verification}, year = {1998}, month = {3} }