Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012

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. IEEE, 2012. [doi]

Conference: ICSE2012

No reviews for this publication, yet.