TY  - RPRT
TI  - Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
AU  - Silvio Ghilardi
AU  - Silvio Ranise
PY  - 2010
DO  - 10.2168/lmcs-6(4:10)2010
UR  - https://arxiv.org/abs/1010.1872
ID  - 1010.1872
ER  -