TY  - RPRT
TI  - SMT-based Model Checking for Recursive Programs
AU  - Anvesh Komuravelli
AU  - Arie Gurfinkel
AU  - Sagar Chaki
PY  - 2014
UR  - https://arxiv.org/abs/1405.4028
ID  - 1405.4028
ER  -