Current position: Home >> Scientific Research >> Paper Publications

一种定理证明与模型检测融合的软件验证加速方法

Release Time:2022-07-10  Hits:

Date of Publication: 2014-01-01

Journal: 东北大学学报 自然科学版

Institution: 软件学院

Volume: 35

Issue: S1

Page Number: 13-18

Prev One:一种定理证明与模型检测融合的软件验证加速方法

Next One:产学研合作的嵌入式专业学位研究生培养模式探索