面向软件源程序的模型检验技术

中国科技核心期刊

中文核心期刊

CSCD来源期刊

面向软件源程序的模型检验技术

李声涛, 陈睿, 顾斌

SourceOriented Software Model Checking Technology

LI Sheng-Tao, CHEN Rui, GU Bin

空间控制技术与应用 . 2015, (2): 57 -62 .