Formalizing DSL Semantics for Reasoning and Conformance Testing.

Sarmen Keshishzadeh, Arjan J. Mooij

Browse the full SEFM paper archive.