cs.SE 68T99
Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
Mounira Nihad Zitouni Amal Ahmed Anda Sahil Rajpal Daniel Amyot John Mylopoulos