循环不变式生成方法研究与改进

【作者】 刘自恒

【导师】 曾庆凯;

【作者基本信息】 南京大学 , 计算机软件与理论, 2012, 硕士