@article{workingdocumentformalisingsoftware,
  title = {Working Document -- Formalising Software Requirements with Large Language Models},
  author = {Arshad Beg and Diarmuid O'Donoghue and Rosemary Monahan},
  year = {2025},
  eprint = {2506.14627},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2506.14627v2},
}