@misc{indiciae1c1287fc5583,
  title = {Recognition of Logically Related Regions Based Heap Abstraction},
  author = {Mohamed A. El-Zawawy},
  year = {2012},
  url = {https://arxiv.org/abs/1212.5094},
  note = {Source identifier: 1212.5094}
}