@inproceedings{inproceedings, title = {{A Program Construction and Verification Tool for Separation Logic}}, publisher = {{Springer International Publishing}}, url = {{}}, year = {{2015}}, month = {{1}}, author = {{Dongol B and Gomes VBF and Struth G}}, doi = {{10.1007/978-3-319-19797-5_7}}, isbn = {{9783319197968}}, pages = {{137-158}}, note = {{Accessed on 2025/06/21}}}