Cita APA (7a ed.)
Chapman, R., Dross, C., Matthews, S., & Moy, Y. (2024). Co-Developing Programs and Their Proof of Correctness. Communications of the ACM, 67(3), 84-95.
Cita Chicago Style (17a ed.)
Chapman, Roderick, Claire Dross, Stuart Matthews, y Yannick Moy. "Co-Developing Programs and Their Proof of Correctness." Communications of the ACM 67, no. 3 (2024): 84-95.
Cita MLA (9a ed.)
Chapman, Roderick, et al. "Co-Developing Programs and Their Proof of Correctness." Communications of the ACM, vol. 67, no. 3, 2024, pp. 84-95.
Precaución: Estas citas no son 100% exactas.