Analogical Transfer of Verification Proofs for State-Based Specifications

@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}
}