APA-Zitierstil (7. Ausg.)

Charalambous, Y., Manino, E., & Cordeiro, L. C. (2024). Automated Repair of AI Code with Large Language Models and Formal Verification.

Chicago-Zitierstil (17. Ausg.)

Charalambous, Yiannis, Edoardo Manino, und Lucas C. Cordeiro. Automated Repair of AI Code with Large Language Models and Formal Verification. 2024.

MLA-Zitierstil (9. Ausg.)

Charalambous, Yiannis, et al. Automated Repair of AI Code with Large Language Models and Formal Verification. 2024.