Derivation of efficient implementations from formal descriptions: issues, methods and conformance

Harro Kremer

Research output: Book/Report › Report › Professional

Name	Memorandum TIOS
Publisher	University of Twente, Tele-Informatics and Open Systems Group
No.	94-07

Cite this

@book{fe2289cd03d94dde85a6a4207d824521,

title = "Derivation of efficient implementations from formal descriptions: issues, methods and conformance",

author = "Harro Kremer",

year = "1994",

language = "English",

series = "Memoranda informatica",

publisher = "University of Twente",

number = "94-34",

address = "Netherlands",

edition = "34",

}