TY  - RPRT
TI  - An Outline of Separation Logic
AU  - Abhishek Kr Singh
AU  - Raja Natrajan
PY  - 2017
UR  - https://arxiv.org/abs/1703.10994
ID  - 1703.10994
ER  -