A Technique for Reusing Proofs in Software Verification

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}
}