TY  - RPRT
TI  - Underapproximation of Procedure Summaries for Integer Programs
AU  - Pierre Ganty
AU  - Radu Iosif
AU  - Filip Konecny
PY  - 2016
DO  - 10.1007/s10009-016-0420-7
UR  - https://arxiv.org/abs/1210.4289
ID  - 1210.4289
ER  -