(2014). Software engineering and formal methods: SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; revised selected papers. Springer.
Chicago-Zitierstil (17. Ausg.)Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; Revised Selected Papers. Cham [u.a.]: Springer, 2014.
MLA-Zitierstil (9. Ausg.)Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; Revised Selected Papers. Springer, 2014.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.