作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
一种自适应的循环不变式生成方法
刘自恒, 曾庆凯
An Adaptive Loop Invariant Generation Approach
LIU Zi-Heng, CENG Qiang-Kai
计算机工程 . 2013, (6): 76 -81 .  DOI: 10.3969/j.issn.1000-3428.2013.06.015