Software Engineering and Formal Methods : SEFM 2014 Collocated Workshops
Subtitle: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Publisher: Springer London, Limited
Published: 2015
Language: eng
Number of pages: 405
ISBN-13: 9783319152011
Subjects: Software engineering