APA-Zitierstil (7. Ausg.)

Yuan, Y., Zhou, Z., Belyakova, J., Delaware, B., & Jagannathan, S. (2025). From Traces to Program Incorrectness: A Type-Theoretic Approach.

Chicago-Zitierstil (17. Ausg.)

Yuan, Yongwei, Zhe Zhou, Julia Belyakova, Benjamin Delaware, und Suresh Jagannathan. From Traces to Program Incorrectness: A Type-Theoretic Approach. 2025.

MLA-Zitierstil (9. Ausg.)

Yuan, Yongwei, et al. From Traces to Program Incorrectness: A Type-Theoretic Approach. 2025.