TY  - RPRT
TI  - Inference of Field-Sensitive Reachability and Cyclicity
AU  - Damiano Zanardini
AU  - Samir Genaim
PY  - 2014
UR  - https://arxiv.org/abs/1306.6526
ID  - 1306.6526
ER  -