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.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence