Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes, Abdo Shabah, Gabriela Nicolescu. Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents. 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 205-216, Springer, 2024. [doi]
Abstract is missing.