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