Mechanising a Unifying Theory
From MaRDI portal
Publication:5307484
DOI10.1007/11768173_13zbMath1186.68089OpenAlexW1523293592MaRDI QIDQ5307484
Publication date: 14 September 2007
Published in: Unifying Theories of Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11768173_13
Related Items (7)
Higher-Order UTP for a Theory of Methods ⋮ Unifying theories in ProofPower-Z ⋮ Mechanical reasoning about families of UTP theories ⋮ An Axiomatic Value Model for Isabelle/UTP ⋮ UTPCalc — A Calculator for UTP Predicates ⋮ Mechanical Reasoning about Families of UTP Theories ⋮ A UTP semantics for \textsf{Circus}
Uses Software
This page was built for publication: Mechanising a Unifying Theory
