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

Domenico Bianculli (Редактор) , Radu Calinescu (Редактор) , Bernhard Rumpe (Редактор)