Vol-4141⫷ Vol-4142 ⫸Vol-4143
urn:nbn:de:0074-4142-0


Vol-4142/paper10⫷Vol-4142/paper11⫸Vol-4142/paper12
Arshad BegDiarmuid O'DonoghueRosemary Monahan

Leveraging LLMs for Formal Software Requirements: Challenges and Prospects