Xiaobing Wang, Ge Li, Chunyi Li, Liang Zhao, Xinfeng Shu. Automatic Generation of Specification from Natural Language Based on Temporal Logic. In Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan, editors, Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers. Volume 12723 of Lecture Notes in Computer Science, pages 154-171, Springer, 2020. [doi]
Abstract is missing.