@misc{indiciae02e133326e09,
  title = {Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning},
  author = {Long H. Pham and Jun Sun and Quang Loc Le},
  year = {2019},
  url = {https://arxiv.org/abs/1908.10051},
  note = {Source identifier: 1908.10051}
}