Similarities and Reuse of Proofs in Formal Software Verification

@inproceedings{pub1604,
    author = {

Melis, Erica
 and 

Schairer, Axel
},
    editor = {

Smyth, Barry
 and 

Cunningham, Pàdraig
},
    title = {Similarities and Reuse of Proofs in Formal Software Verification},
    booktitle = {Advances in Case-Based Reasoning, Proceedinges of the Fourth European Workshop on Case Based Reasoning (EWCBR 98). European Workshop on Case Based Reasoning (EWCBR)},
    series = {LNCS},
    year = {1998},
    volume = {1488},
    pages = {76--87},
    publisher = {Springer}
}