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

Full text!
Type:
e-book
Titel:
Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Auteur:
Bianculli; Calinescu, Radu; Rumpe, Bernhard
Taal:
Engels
Uitgever:
Springer Berlin Heidelberg 2015
ISBN:
3-662-49223-7
3-662-49224-5
Permalink:
http://bibtest.howest.be/catalog/ebk03:4340000000001308