TY  - RPRT
TI  - Undecidability of Inferring Linear Integer Invariants
AU  - Sharon Shoham
PY  - 2018
UR  - https://arxiv.org/abs/1812.01069
ID  - 1812.01069
ER  -