Brijesh Dongol, Victor B. F. Gomes, Georg Struth. A Program Construction and Verification Tool for Separation Logic. In Ralf Hinze, Janis Voigtländer, editors, Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings. Volume 9129 of Lecture Notes in Computer Science, pages 137-158, Springer, 2015. [doi]
Abstract is missing.