TY  - RPRT
TI  - Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation
AU  - Yu-Fang Chen
AU  - Chih-Duo Hong
AU  - Bow-Yaw Wang
AU  - Lijun Zhang
PY  - 2015
UR  - https://arxiv.org/abs/1502.04280
ID  - 1502.04280
ER  -