APA (7th ed.) Citation

Chapman, R., Dross, C., Matthews, S., & Moy, Y. (2024). Co-Developing Programs and Their Proof of Correctness. Communications of the ACM, 67(3), 84. https://doi.org/10.1145/3624728

Chicago Style (17th ed.) Citation

Chapman, Roderick, Claire Dross, Stuart Matthews, and Yannick Moy. "Co-Developing Programs and Their Proof of Correctness." Communications of the ACM 67, no. 3 (2024): 84. https://doi.org/10.1145/3624728.

MLA (9th ed.) Citation

Chapman, Roderick, et al. "Co-Developing Programs and Their Proof of Correctness." Communications of the ACM, vol. 67, no. 3, 2024, p. 84, https://doi.org/10.1145/3624728.