ISO-690 (author-date, English)

TEODORESCU, Lucian Radu und PARENT, Sean, 2025. Local Reasoning Can Help Prove Correctness. Overload. 1 August 2025. No. 188, p. 4-8.

Elsevier - Harvard (with titles)

Teodorescu, L.R., Parent, S., 2025. Local Reasoning Can Help Prove Correctness. Overload 4-8.

American Psychological Association 7th edition

Teodorescu, L. R., & Parent, S. (2025). Local Reasoning Can Help Prove Correctness. Overload, 188, 4-8.

Springer - Basic (author-date)

Teodorescu LR, Parent S (2025) Local Reasoning Can Help Prove Correctness.. Overload 4-8

Juristische Zitierweise (Stüber) (Deutsch)

Teodorescu, Lucian Radu/ Parent, Sean, Local Reasoning Can Help Prove Correctness., Overload 2025, 4-8.

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