scientific article
From MaRDI portal
Publication:2851318
zbMath1273.03097MaRDI QIDQ2851318
Josh Berdine, Peter W. O'Hearn
Publication date: 10 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001605
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
Automated Theorem Proving for Assertions in Separation Logic with All Connectives ⋮ A Unified Display Proof Theory for Bunched Logic ⋮ Bunched logics displayed
This page was built for publication:
