Formal model-driven executable DSLs

Akram Idani. Formal model-driven executable DSLs. ISSE, 18(4):543-566, 2022. [doi]

Abstract

Abstract is missing.