Publikation
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.
@masterthesis{pub1648, author = { Schairer, Axel }, title = {A Technique for Reusing Proofs in Software Verification}, year = {1998}, month = {3} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023