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]
Abstract is missing.