Header fortiss scientific publications
Scientific publications

Publications with research results

Language Engineering as an Enabler for Incrementally Defined Formal Analyses

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

FormSERA 2012 (ICSE Workshop),

2012