Publikation
DFKI DFKI Research Reports (RR) 97-01 1/1997.
@techreport{pub6150, author = { Melis, Erica and Sengler, Claus }, title = {Analogical Transfer of Verification Proofs for State-Based Specifications}, series = {DFKI Research Reports (RR)}, year = {1997}, month = {1}, volume = {97-01}, pages = {12}, institution = {DFKI} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
Fax: +49 631 20575 5030
© DFKI, 2022