Publication
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} }
© DFKI, 2022