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!
Format:
e-book
Title:
Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Author:
Bianculli; Calinescu, Radu; Rumpe, Bernhard
Language:
English
Publisher:
Springer Berlin Heidelberg 2015
ISBN:
3-662-49223-7
3-662-49224-5
Permalink:
http://bibtest.howest.be/catalog/ebk03:4340000000001308?locale=en