Cita APA (7a ed.)
DARKE, P., METTA, R., MEDICHERLA, R. K., & VENKATESH, R. (2022). Impactful Research and Tooling for Program Correctness. Communications of the ACM, 65(11), 52-54.
Cita Chicago Style (17a ed.)
DARKE, PRIYANKA, RAVINDRA METTA, RAVEENDRA KUMAR MEDICHERLA, y R. VENKATESH. "Impactful Research and Tooling for Program Correctness." Communications of the ACM 65, no. 11 (2022): 52-54.
Cita MLA (9a ed.)
DARKE, PRIYANKA, et al. "Impactful Research and Tooling for Program Correctness." Communications of the ACM, vol. 65, no. 11, 2022, pp. 52-54.
Precaución: Estas citas no son 100% exactas.