Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

MLA

Calinescu, and Bernhard Rumpe. Software Engineering and Formal Methods: 13th International Conference, Sefm 2015, York, Uk, September 7-11, 2015. Proceedings. Springer International Publishing, 2015.

APA

Calinescu, C., & Rumpe, B. (2015). Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Springer International Publishing.

Chicago

Calinescu, and Bernhard Rumpe. Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. : Springer International Publishing, 2015.