@article{周宁_1,
author = {[周宁, 吴尽昭, 王超]},
title = {基于吴方法的不变式生成算法},
publisher = {星空电竞app2026最新版学报},
year = {2012},
journal = {星空电竞app2026最新版学报},
volume = {36},
number = {2},
eid = {1},
pages = {1-7},
keywords = {程序验证;不变式生成;符号计算;吴方法},
url = https://jdxb.bjtu.edu.cn/CN/abstract/article_2309.shtml
}