Software Engineering and Formal Methods
Subtitle: Sefm 2013 Collocated Workshops - Beat2, Ws-Fmds, Fm-Rail-Bok, Mokmasd, and Opencert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Publisher: Springer International Publishing AG
Published: 2014
Language: eng
Number of pages: 432
ISBN-13: 9783319050317
Subjects: Software engineering; System design