Cite Them Right 11th edition - Harvard

Namjoshi, K.S. und Zuck, L.D. (2025) „Program Correctness through Self-Certification.“, Communications of the ACM, 68(2), S. 74-84. doi:10.1145/3689624.

Chicago Manual of Style 17th edition (full note)

Namjoshi, Kedar S., und Lenore D. Zuck. „Program Correctness through Self-Certification.“. Communications of the ACM 68, Nr. 2 (1. Februar 2025): 74-84. https://doi.org/10.1145/3689624.

American Psychological Association 7th edition

Namjoshi, K. S., & Zuck, L. D. (2025). Program Correctness through Self-Certification. Communications of the ACM, 68(2), 74-84. https://doi.org/10.1145/3689624

Modern Language Association 9th edition

Namjoshi, K. S., und L. D. Zuck. „Program Correctness through Self-Certification.“. Communications of the ACM, Bd. 68, Nr. 2, Februar 2025, S. 74-84, https://doi.org/10.1145/3689624.

ISO-690 (author-date, Deutsch)

NAMJOSHI, Kedar S. und Lenore D. ZUCK, 2025. Program Correctness through Self-Certification. Communications of the ACM. 1 Februar 2025. Bd. 68, Nr. 2, S. 74-84. DOI 10.1145/3689624

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.