摘要：自动推导循环不变量的线性多项式
作者：Andreas Humenberger, Maximilian Jaroschek, Laura Kov''acs
论文ID：1705.02863
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2017-05-12
PDF 下载： 英文版 中文版pdf翻译中