J. Kohlmeyer

From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development

Helmuth Partsch, Jens Kohlmeyer, Dominik Gessenharter, 2011, Int. J. Softw. Informatics.