Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops
Subtitle: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Publisher: Springer London, Limited
Published: 2016
Language: eng
Number of pages: 325
ISBN-13: 9783662492246
Subjects: Software engineering; Computer science