TY  - RPRT
TI  - Automatic Inference of Symbolic Permissions for Sequential Java Programs
AU  - Ayesha Sadiq
AU  - Yuan-Fang Li
AU  - Li Li
AU  - Sea Ling
AU  - Ijaz Ahmed
PY  - 2019
UR  - https://arxiv.org/abs/1902.05311
ID  - 1902.05311
ER  -