APA (7th ed.) Citation

Vardi, M. Y. (2021). Program Verification: Vision and Reality. Communications of the ACM, 64(7), 5. https://doi.org/10.1145/3469113

Chicago Style (17th ed.) Citation

Vardi, Moshe Y. "Program Verification: Vision and Reality." Communications of the ACM 64, no. 7 (2021): 5. https://doi.org/10.1145/3469113.

MLA (9th ed.) Citation

Vardi, Moshe Y. "Program Verification: Vision and Reality." Communications of the ACM, vol. 64, no. 7, 2021, p. 5, https://doi.org/10.1145/3469113.