Cita APA (7a ed.)
HINCHEY, M., JACKSON, M., COUSOT, P., COOK, B., BOWEN, J. P., & MARGARIA, T. (2008). Software Engineering and Formal Methods. Communications of the ACM, 51(9), 54-60.
Cita Chicago Style (17a ed.)
HINCHEY, MIKE, MICHAEL JACKSON, PATRICK COUSOT, BYRON COOK, JONATHAN P. BOWEN, y TIZIANA MARGARIA. "Software Engineering and Formal Methods." Communications of the ACM 51, no. 9 (2008): 54-60.
Cita MLA (9a ed.)
HINCHEY, MIKE, et al. "Software Engineering and Formal Methods." Communications of the ACM, vol. 51, no. 9, 2008, pp. 54-60.
Precaución: Estas citas no son 100% exactas.