Implementing Modular Domain Specific Language and Analyses

Daniel Ratiu, Markus Voelter, Zaur Molotnikov and Bernhard Schätz

MoDEVVA 2012 (MODELS Workshop),

2012