Publikation

Similarities and Reuse of Proofs in Formal Software Verification

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.

http://www.dfki.de/vse/papers/ms98.ps.gz (gz, 56 KB )

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