Cita APA (7a ed.)
Vardi, M. Y. (2021). Program Verification: Vision and Reality. Communications of the ACM, 64(7), 5-6.
Cita Chicago Style (17a ed.)
Vardi, Moshe Y. "Program Verification: Vision and Reality." Communications of the ACM 64, no. 7 (2021): 5-6.
Cita MLA (9a ed.)
Vardi, Moshe Y. "Program Verification: Vision and Reality." Communications of the ACM, vol. 64, no. 7, 2021, pp. 5-6.
Precaución: Estas citas no son 100% exactas.