Tool support for component-based semantics

L. Thomas van Binsbergen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Companion Proceedings of the 15th International Conference on Modularity
DOIs	https://doi.org/10.1145/2892664.2893464
Publication status	Published - 14 Mar 2016

Access to Document

Executable Formal Specification of Programming Languages with Reusable Components
van Binsbergen, L. T., 2019, (Unpublished) 274 p.
Research output: Thesis › Doctoral Thesis

File

@inproceedings{28eac38d23fc4af481f1e9fc26203bc4,

title = "Tool support for component-based semantics",

author = "{van Binsbergen}, {L. Thomas}",

year = "2016",

month = mar,

day = "14",

doi = "10.1145/2892664.2893464",

language = "English",

isbn = "978-1-4503-4033-5 ",

booktitle = "Companion Proceedings of the 15th International Conference on Modularity",

}