TY  - RPRT
TI  - Abstraction and Acceleration in SMT-based Model-Checking for Array Programs
AU  - Francesco Alberti
AU  - Silvio Ghilardi
AU  - Natasha Sharygina
PY  - 2013
DO  - 10.1007/978-3-642-40885-4_3
UR  - https://arxiv.org/abs/1304.4499
ID  - 1304.4499
ER  -