Publikation
Erica Melis; Axel Schairer
In: Barry Smyth; Pàdraig Cunningham (Hrsg.). Advances in Case-Based Reasoning, Proceedinges of the Fourth European Workshop on Case Based Reasoning (EWCBR 98). European Workshop on Case Based Reasoning (EWCBR), Pages 76-87, LNCS, Vol. 1488, Springer, Berlin, Heidelberg,, 1998.
@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} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023