TY  - RPRT
TI  - Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts
AU  - Sarmen Keshishzadeh
AU  - Arjan J. Mooij
AU  - Jozef Hooman
PY  - 2016
DO  - 10.4204/eptcs.205.2
UR  - https://arxiv.org/abs/1603.08633
ID  - 1603.08633
ER  -