TY  - RPRT
TI  - Interprocedural Reachability for Flat Integer Programs
AU  - Pierre Ganty
AU  - Radu Iosif
PY  - 2015
UR  - https://arxiv.org/abs/1405.3069
ID  - 1405.3069
ER  -