Cita APA (7a ed.)
Leino, K. R. M. (2010). Technical Perspective Learning To Do Program Verification. Communications of the ACM, 53(6), 106-107.
Cita Chicago Style (17a ed.)
Leino, K. Rustan M. "Technical Perspective Learning To Do Program Verification." Communications of the ACM 53, no. 6 (2010): 106-107.
Cita MLA (9a ed.)
Leino, K. Rustan M. "Technical Perspective Learning To Do Program Verification." Communications of the ACM, vol. 53, no. 6, 2010, pp. 106-107.
Precaución: Estas citas no son 100% exactas.