APA (7th ed.) Zitazioa
International Conference on Software Engineering and Formal Methods ( Madrid, España), Counsell, S., & Núñez, M. 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 Style (17th ed.) Zitazioa
International Conference on Software Engineering and Formal Methods ( Madrid, España), Steve Counsell, eta Manuel Núñez. 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, Suiza: Springer.
MLA (9th ed.) Zitazioa
International Conference on Software Engineering and Formal Methods ( Madrid, España), et al. 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.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.