Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

MLA

Canal, and Akram Idani. Software Engineering and Formal Methods: Sefm 2014 Collocated Workshops: Hofm, Safome, Opencert, Mokmasd, Ws-fmds, Grenoble, France, September 1-2, 2014, Revised Selected Papers. Springer International Publishing, 2015.

APA

Canal, C., & Idani, A. (2015). Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers. Springer International Publishing.

Chicago

Canal, and Akram Idani. Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, Opencert, Mokmasd, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers. : Springer International Publishing, 2015.