TY  - RPRT
TI  - Predicate Abstraction for Linked Data Structures
AU  - Alexander Bakst
AU  - Ranjit Jhala
PY  - 2015
UR  - https://arxiv.org/abs/1505.02298
ID  - 1505.02298
ER  -