摘要：生成多项式循环程序的循环不变量的新方法
作者：Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
论文ID：1111.0732
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2015-03-19
PDF 下载： 英文版 中文版pdf翻译中