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.
Style de citation Chicago (17e éd.)SpringerLink (Online service), Carlos Canal, et 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.
Style de citation MLA (8e éd.)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.