Software Engineering and Formal Methods : SEFM 2014 Collocated Workshops
Subtitle: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, ...
Publisher: Springer
Published: Feb 26, 2015
Format: paperback
Number of pages: 432
ISBN-13: 9783319152004
Notes: Source title: Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, ... (Lecture Notes in Computer Science (8938))