2012
Ensō: interpretation and Composition of Executable Specification Languages
Publication
Publication
Presented at the
CWI Lectures in Mathematics and Computer Science, Amsterdam, NL
Additional Metadata | |
---|---|
, , , | |
CWI Lectures in Mathematics and Computer Science | |
Organisation | Software Analysis and Transformation |
van der Storm, T. (2012). Ensō: interpretation and Composition of Executable Specification Languages. |