APA-Zitierstil (7. Ausg.)

Li, Y. C., Zetzsche, S., & Somayyajula, S. (2025). Dafny as Verification-Aware Intermediate Language for Code Generation.

Chicago-Zitierstil (17. Ausg.)

Li, Yue Chen, Stefan Zetzsche, und Siva Somayyajula. Dafny as Verification-Aware Intermediate Language for Code Generation. 2025.

MLA-Zitierstil (9. Ausg.)

Li, Yue Chen, et al. Dafny as Verification-Aware Intermediate Language for Code Generation. 2025.