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