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

H.H.C. Kremer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Proceedings of Formal Description Techniques VII, FORTE'94
Place of Publication	Bern,CH
Pages	421-436
Publication status	Published - 14 Mar 1995

Keywords

@inproceedings{16bbb87a34d9469b80dbd279a3f9d2d9,

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

keywords = "METIS-120042",

author = "H.H.C. Kremer",

year = "1995",

month = mar,

day = "14",

language = "Undefined",

pages = "421--436",

booktitle = "Proceedings of Formal Description Techniques VII, FORTE'94",

}