8 citations · 17 across the 6 of their papers we have counts for
1 paper · 1 filter
Suzana Andova, Mark van den Brand, Luc Engelen
A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of t…