SpringerLink (Online service), 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 (1st ed. 2015.). Springer International Publishing : Imprint: Springer.
Cita Chicago Style (17a ed.)SpringerLink (Online service), Carlos Canal, y 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. 1st ed. 2015. Cham: Springer International Publishing : Imprint: Springer, 2015.
Cita MLA (8a ed.)SpringerLink (Online service), et al. Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers. 1st ed. 2015. Springer International Publishing : Imprint: Springer, 2015.