8 citations · 8 across the 1 of their papers we have counts for
1 paper
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…