Towards Algebraic Separation Logic

DOI10.1007/978-3-642-04639-1_5zbMath1267.68140OpenAlexW1532382251MaRDI QIDQ3651508

Bernhard Möller, Han-Hing Dang, Peter Höfner

Publication date: 11 December 2009

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-10930

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other algebras related to logic (03G25)

This page was built for publication: Towards Algebraic Separation Logic