Automatic translation of natural language requirements into CTL specifications using Large Language Models: A multi-approach evaluation
Rim Zrelli, H. Misson, Marwa Ben Attia et al.
· Journal of Systems and Softw... · 1 citation