@misc{indiciae670836c3b86a,
  title = {Leveraging Large Language Models to Boost Dafny's Developers Productivity},
  author = {Álvaro Silva and Alexandra Mendes and João F. Ferreira},
  year = {2024},
  url = {https://arxiv.org/abs/2401.00963},
  note = {Source identifier: 2401.00963}
}