Language Engineering as an Enabler for Incrementally Defined Formal Analyses

Daniel Ratiu, Markus Voelter, Bernhard Schätz und Bernd Kolb

FormSERA 2012 (ICSE Workshop),

2012