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. |
|