Generating Temporal Logic from Natural Language Requirement Based on Deep Learning
王喜龙，杨志斌，周勇
Journal of Chinese Computer Systems . 2025, (9): 2049 -2057 .