TY  - RPRT
TI  - Sharper and Simpler Nonlinear Interpolants for Program Verification
AU  - Takamasa Okudono
AU  - Yuki Nishida
AU  - Kensuke Kojima
AU  - Kohei Suenaga
AU  - Kengo Kido
AU  - Ichiro Hasuo
PY  - 2017
UR  - https://arxiv.org/abs/1709.00314
ID  - 1709.00314
ER  -