A Program Construction and Verification Tool for Separation Logic.

Brijesh Dongol, Victor B. F. Gomes, Georg Struth

Browse the full MPC paper archive.