TY  - RPRT
TI  - Abstract Predicate Entailment over Points-To Heaplets is Syntax Recognition
AU  - René Haberland
AU  - Kirill Krinkin
AU  - Sergey Ivanovskiy
PY  - 2019
DO  - 10.1109/fruct-ispit.2016.7561510
UR  - https://arxiv.org/abs/1906.00217
ID  - 1906.00217
ER  -