A Program Construction and Verification Tool for Separation Logic

Cite it as

@inproceedings{dongol2015program,
  title        = {A Program Construction and Verification Tool for Separation Logic},
  author       = {Brijesh Dongol and Victor B. F. Gomes and Georg Struth},
  year         = {2015},
  booktitle    = {Mathematics of Program Construction},
  publisher    = {Springer},
  pages        = {137--158},
  doi          = {10.1007/978-3-319-19797-5_7},
}