2015
Conference Proceeding
Title

Software Engineering and Formal Methods

Title Supplement
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Person Involved
Calinescu, R.
Rumpe, B.
Publisher
Publishing Place
Cham
Conference
Language
English