APA (7 वां संस्करण) प्रशस्ति पत्र
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.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र
International Conference on Software Engineering and Formal Methods ( Madrid, España), Steve Counsell, और 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.
एमएलए (9वां संस्करण) प्रशस्ति पत्र
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.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.