Paola Spoletini, Alessio Ferrari 0001. The Return of Formal Requirements Engineering in the Era of Large Language Models. In Daniel Méndez 0001, Ana Moreira 0001, editors, Requirements Engineering: Foundation for Software Quality - 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings. Volume 14588 of Lecture Notes in Computer Science, pages 344-353, Springer, 2024. [doi]
@inproceedings{SpoletiniF24,
title = {The Return of Formal Requirements Engineering in the Era of Large Language Models},
author = {Paola Spoletini and Alessio Ferrari 0001},
year = {2024},
doi = {10.1007/978-3-031-57327-9_22},
url = {https://doi.org/10.1007/978-3-031-57327-9_22},
researchr = {https://researchr.org/publication/SpoletiniF24},
cites = {0},
citedby = {0},
pages = {344-353},
booktitle = {Requirements Engineering: Foundation for Software Quality - 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings},
editor = {Daniel Méndez 0001 and Ana Moreira 0001},
volume = {14588},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-57327-9},
}