TY  - RPRT
TI  - Leveraging Large Language Models to Boost Dafny's Developers Productivity
AU  - Álvaro Silva
AU  - Alexandra Mendes
AU  - João F. Ferreira
PY  - 2024
UR  - https://arxiv.org/abs/2401.00963
ID  - 2401.00963
ER  -