TY  - RPRT
TI  - Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays
AU  - Anvesh Komuravelli
AU  - Nikolaj Bjorner
AU  - Arie Gurfinkel
AU  - Kenneth L. McMillan
PY  - 2015
UR  - https://arxiv.org/abs/1508.01288
ID  - 1508.01288
ER  -