TY  - RPRT
TI  - Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models
AU  - Suzana Andova
AU  - Mark van den Brand
AU  - Luc Engelen
PY  - 2011
DO  - 10.4204/eptcs.56.5
UR  - https://arxiv.org/abs/1107.0067
ID  - 1107.0067
ER  -