@article{formalisingsoftwarerequirementsusinglarg,
  title = {Formalising Software Requirements using Large Language Models},
  author = {Arshad Beg and Diarmuid O'Donoghue and Rosemary Monahan},
  year = {2025},
  eprint = {2506.10704},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2506.10704v1},
}