Hits:
Date of Publication:2022-10-10
Journal:大连理工大学学报 社会科学版
Affiliation of Author(s):软件学院
Volume:35
Issue:z2
Page Number:73-75
Note:新增回溯数据
Pre One:Software verification acceleration by integrating theorem proving and model checking
Next One:WCSD动态检测方法
