Algebras for Program Correctness in Isabelle/HOL
From MaRDI portal
Publication:5410477
DOI10.1007/978-3-319-06251-8_4zbMath1405.68314OpenAlexW23903359MaRDI QIDQ5410477
Georg Struth, Victor B. F. Gomes, Alasdair Armstrong
Publication date: 16 April 2014
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-06251-8_4
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Developments in concurrent Kleene algebra ⋮ A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency ⋮ Building program construction and verification tools from algebraic principles
Uses Software
This page was built for publication: Algebras for Program Correctness in Isabelle/HOL
