Language engineering as an enabler for incrementally defined formal analyses.

Daniel Ratiu, Bernhard Schtz, Markus Vlter, Bernd Kolb

Browse the full ICSE paper archive.