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