Separation Algebra

MaRDI QIDQ7361853FDO

Authors Gerwin Klein, Rafal Kolanski, Andrew Boyton

Publication date 11 May 2012

Cites work

• Mechanised Separation Algebra

Cited in

(3)

• Hoare Logics for Time Bounds
• Separata: Isabelle tactics for Separation Algebra
• A Formal CHERI-C Memory Model

This page was built for software: Separation Algebra