Publikation
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.
Publikation