×

Found 2 Documents (Results 1–2)

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Filter Results by …

Document Type

Year of Publication

Main Field