ISO-690 (author-date, English)

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

Elsevier - Harvard (with titles)

Namjoshi, K.S., Zuck, L.D., 2025. Program Correctness through Self-Certification. Communications of the ACM 68, 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

Springer - Basic (author-date)

Namjoshi KS, Zuck LD (2025) Program Correctness through Self-Certification.. Communications of the ACM 68:74-84. https://doi.org/10.1145/3689624

Juristische Zitierweise (Stüber) (Deutsch)

Namjoshi, Kedar S./ Zuck, Lenore D., Program Correctness through Self-Certification., Communications of the ACM 2025, 74-84.

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