Daniel Ratiu, Bernhard Schätz, Markus Völter, Bernd Kolb. Language engineering as an enabler for incrementally defined formal analyses. In Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe, editors, Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012. pages 9-15, IEEE, 2012. [doi]
@inproceedings{RatiuSVK12,
title = {Language engineering as an enabler for incrementally defined formal analyses},
author = {Daniel Ratiu and Bernhard Schätz and Markus Völter and Bernd Kolb},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2663692},
researchr = {https://researchr.org/publication/RatiuSVK12},
cites = {0},
citedby = {0},
pages = {9-15},
booktitle = {Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012},
editor = {Stefania Gnesi and Stefan Gruner and Nico Plat and Bernhard Rumpe},
publisher = {IEEE},
isbn = {978-1-4673-1906-5},
}