TY  - RPRT
TI  - Automating Proofs of Data-Structure Properties in Imperative Programs
AU  - Duc-Hiep Chu
AU  - Joxan Jaffar
AU  - Minh-Thai Trinh
PY  - 2014
UR  - https://arxiv.org/abs/1407.6124
ID  - 1407.6124
ER  -