小型微型计算机系统
面向自然语言需求的验证性质生成方法
李晓劼,杨志斌,王翰丰,周勇,李维
Verification Properties Generation from Natural Language Requirements
小型微型计算机系统 . 2024, (1): 84 -92 .