摘要：从合金规范转换到 Prover9 的叉代数进行无界验证
作者：Nuno Macedo and Alcino Cunha
论文ID：1209.5773
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-09-27
PDF 下载： 英文版 中文版pdf翻译中