TY  - RPRT
TI  - Polynomial Invariant Generation for Non-deterministic Recursive Programs
AU  - Krishnendu Chatterjee
AU  - Hongfei Fu
AU  - Amir Kafshdar Goharshady
AU  - Ehsan Kafshdar Goharshady
PY  - 2020
UR  - https://arxiv.org/abs/1902.04373
ID  - 1902.04373
ER  -