Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg Building program construction and verification tools from algebraic principles. (English) Zbl 1342.68066 Formal Asp. Comput. 28, No. 2, 265-293 (2016). MSC: 68N30 68Q60 68T15 PDFBibTeX XMLCite \textit{A. Armstrong} et al., Formal Asp. Comput. 28, No. 2, 265--293 (2016; Zbl 1342.68066) Full Text: DOI
Dongol, Brijesh; Gomes, Victor B. F.; Struth, Georg A program construction and verification tool for separation logic. (English) Zbl 1432.68071 Hinze, Ralf (ed.) et al., Mathematics of program construction. 12th international conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9129, 137-158 (2015). MSC: 68N30 03B70 68Q60 68V15 PDFBibTeX XMLCite \textit{B. Dongol} et al., Lect. Notes Comput. Sci. 9129, 137--158 (2015; Zbl 1432.68071) Full Text: DOI arXiv Link