TY  - RPRT
TI  - Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations
AU  - Sarmen Keshishzadeh
AU  - Arjan J. Mooij
AU  - Jozef Hooman
PY  - 2015
UR  - https://arxiv.org/abs/1511.08049
ID  - 1511.08049
ER  -