@misc{indiciae89e2d3ca69a5,
  title = {Extending PPTL for Verifying Heap Evolution Properties},
  author = {Xu Lu and Zhenhua Duan and Cong Tian},
  year = {2015},
  url = {https://arxiv.org/abs/1507.08426},
  note = {Source identifier: 1507.08426}
}