Inproceedings,

Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts.

, , and .
FESCA@ETAPS, volume 205 of EPTCS, page 16-30. (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews