Cita APA (7a ed.)
Namjoshi, K. S., & Zuck, L. D. (2025). Program Correctness through Self-Certification. Communications of the ACM, 68(2), 74-85.
Cita Chicago Style (17a ed.)
Namjoshi, Kedar S., y Lenore D. Zuck. "Program Correctness Through Self-Certification." Communications of the ACM 68, no. 2 (2025): 74-85.
Cita MLA (9a ed.)
Namjoshi, Kedar S., y Lenore D. Zuck. "Program Correctness Through Self-Certification." Communications of the ACM, vol. 68, no. 2, 2025, pp. 74-85.
Precaución: Estas citas no son 100% exactas.