Cita APA (7a ed.)
Leroy, X. (2009). Formal Verification of a Realistic Compiler. Communications of the ACM, 52(7), 107-116.
Cita Chicago Style (17a ed.)
Leroy, Xavier. "Formal Verification of a Realistic Compiler." Communications of the ACM 52, no. 7 (2009): 107-116.
Cita MLA (9a ed.)
Leroy, Xavier. "Formal Verification of a Realistic Compiler." Communications of the ACM, vol. 52, no. 7, 2009, pp. 107-116.
Precaución: Estas citas no son 100% exactas.