@inproceedings{Ratiu2012a, author = {Ratiu, Daniel and Voelter, Markus and Sch{\"{a}}tz, Bernhard and Kolb, Bernd}, title = {Language Engineering as an Enabler for Incrementally Defined Formal Analyses}, booktitle = {FormSERA 2012 (ICSE Workshop)}, year = {2012}, timestamp = 2013.07.23, owner = {jeraj}, }