Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

MLA

Bianculli, Radu Calinescu, and Bernhard Rumpe. Software Engineering and Formal Methods: Sefm 2015 Collocated Workshops: Atse, Hofm, Mokmasd, and Very*scart, York, Uk, September 7-8, 2015. Revised Selected Papers. Springer Berlin Heidelberg, 2015.

APA

Bianculli, B., Calinescu, R., & Rumpe, B. (2015). Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers. Springer Berlin Heidelberg.

Chicago

Bianculli, Radu Calinescu, and Bernhard Rumpe. Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, Mokmasd, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers. : Springer Berlin Heidelberg, 2015.