Cita APA (7a ed.)

Silva, Á., Mendes, A., & Ferreira, J. F. (2024). Leveraging Large Language Models to Boost Dafny's Developers Productivity.

Cita Chicago Style (17a ed.)

Silva, Álvaro, Alexandra Mendes, y João F. Ferreira. Leveraging Large Language Models to Boost Dafny's Developers Productivity. 2024.

Cita MLA (9a ed.)

Silva, Álvaro, et al. Leveraging Large Language Models to Boost Dafny's Developers Productivity. 2024.