@misc{indiciaef9928e155b62,
  title = {An Outline of Separation Logic},
  author = {Abhishek Kr Singh and Raja Natrajan},
  year = {2017},
  url = {https://arxiv.org/abs/1703.10994},
  note = {Source identifier: 1703.10994}
}