Cita APA (7a ed.)
KLEIN, G., ANDRONICK, J., FERNANDEZ, M., KUZ, I., MURRAY, T., & HEISER, G. (2018). Formally Verified Software in the Real World. Communications of the ACM, 61(10), 68-78.
Cita Chicago Style (17a ed.)
KLEIN, GERWIN, JUNE ANDRONICK, MATTHEW FERNANDEZ, IHOR KUZ, TOBY MURRAY, y GERNOT HEISER. "Formally Verified Software in the Real World." Communications of the ACM 61, no. 10 (2018): 68-78.
Cita MLA (9a ed.)
KLEIN, GERWIN, et al. "Formally Verified Software in the Real World." Communications of the ACM, vol. 61, no. 10, 2018, pp. 68-78.
Precaución: Estas citas no son 100% exactas.