@misc{indiciae1ac2991742b4,
  title = {Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays},
  author = {Anvesh Komuravelli and Nikolaj Bjorner and Arie Gurfinkel and Kenneth L. McMillan},
  year = {2015},
  url = {https://arxiv.org/abs/1508.01288},
  note = {Source identifier: 1508.01288}
}