APA (7th ed.) Citation

Canal, C. (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. https://doi.org/10.1007/978-3-319-15201-1

Chicago Style (17th ed.) Citation

Canal, Carlos. Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers. Cham: Springer International Publishing, 2015. https://doi.org/10.1007/978-3-319-15201-1.

MLA (9th ed.) Citation

Canal, Carlos. 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. https://doi.org/10.1007/978-3-319-15201-1.