@misc{indiciae7a23b2cd9de6,
  title = {Principles for Verification Tools: Separation Logic},
  author = {Brijesh Dongol and Victor B. F. Gomes and Georg Struth},
  year = {2014},
  url = {https://arxiv.org/abs/1410.4439},
  note = {Source identifier: 1410.4439}
}