@misc{indiciae3b3f12acdc93,
  title = {Formalising Software Requirements using Large Language Models},
  author = {Arshad Beg and Diarmuid O'Donoghue and Rosemary Monahan},
  year = {2025},
  url = {https://arxiv.org/abs/2506.10704},
  note = {Source identifier: 2506.10704}
}