APA (7th ed.) Citation

Vatai, E., Drozd, A., Ivanov, I. R., Batista, J. E., Ren, Y., & Wahib, M. (2024). Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness.

Chicago Style (17th ed.) Citation

Vatai, Emil, Aleksandr Drozd, Ivan R. Ivanov, Joao E. Batista, Yinghao Ren, and Mohamed Wahib. Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness. 2024.

MLA (9th ed.) Citation

Vatai, Emil, et al. Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness. 2024.