Ribbon Proofs

MaRDI QIDQ7361027FDO

Authors John Wickerson

Publication date 19 January 2013

Cites work

• Ribbon proofs for separation logic
• Variables as resource in separation logic

This page was built for software: Ribbon Proofs