TY  - RPRT
TI  - Extending PPTL for Verifying Heap Evolution Properties
AU  - Xu Lu
AU  - Zhenhua Duan
AU  - Cong Tian
PY  - 2015
UR  - https://arxiv.org/abs/1507.08426
ID  - 1507.08426
ER  -