From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development.
['Helmuth Partsch', 'Marcel Dausend', 'Dominik Gessenharter', 'Jens Kohlmeyer', 'Alexander Raschke']
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development.