配套元件 6篇文献引用(1993–2017) 软件作者: W.R.贝维尔 相关软件: veriSoft;Isabelle/HOL;NQTHM… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)