TY  - 星空电竞app2026最新版学报
A1  - 周宁;吴尽昭;王超
T1  - 基于吴方法的不变式生成算法
Y1  - 2012-04-15 11:07:18.453
JF  - 星空电竞app2026最新版学报
JO  - 星空电竞app2026最新版学报
SP  - 1
EP  - 7
VL  - 36
IS  - 2
UR  - {https://jdxb.bjtu.edu.cn/CN/Y2012/V36/I2/1}
N1  - 
ER  -