Correctness Preserving Transformations

Research output: Other contribution › Other research output

Keywords

@misc{985d54858e8c46e8abcb72d90f919975,

title = "Correctness Preserving Transformations",

keywords = "METIS-123045",

author = "Romanus Langerak",

note = "Bijdrage aan ESPRIT/LOTOSPHERE (15 p.) ",

year = "1990",

month = jan,

day = "31",

language = "Undefined",

publisher = "University of Twente",

address = "Netherlands",

type = "Other",

}