Implementing Modular Domain Specific Language and Analyses

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

MoDEVVA 2012 (MODELS Workshop),

2012