Counterexample Classification
Counterexample Classification
复制标题
反例分类
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Tripakis, Stavros
中科院分区：
文献类型：
--
作者：
Vick, Cole;Kang, Eunsuk;Tripakis, Stavros
寻找声明性规范的最小不可满足核心
DOI：
--
发表时间：
2008
期刊：
World Congress on Formal Methods
影响因子：
--
作者：
Emina Torlak;F. Chang;D. Jackson
通讯作者：
D. Jackson
使用“关键事件”制作简短的反例
影响因子：
0.8
作者：
Sujatha Kashyap;V. Garg
通讯作者：
V. Garg