TY - CONF T1 - A Program Construction and Verification Tool for Separation Logic PY - 2015/01/01 AU - Dongol B AU - Gomes VBF AU - Struth G ED - DO - DOI: 10.1007/978-3-319-19797-5_7 PB - Springer International Publishing SN - 9783319197968 SP - 137 EP - 158 Y2 - 2025/07/11 ER -