The following pages link to Mechanising a Unifying Theory (Q5307484):
Displaying 7 items.
- Mechanical reasoning about families of UTP theories (Q436368) (← links)
- A UTP semantics for \textsf{Circus} (Q1019016) (← links)
- Unifying theories in ProofPower-Z (Q1941892) (← links)
- An Axiomatic Value Model for Isabelle/UTP (Q2971180) (← links)
- UTPCalc — A Calculator for UTP Predicates (Q2971182) (← links)
- Higher-Order UTP for a Theory of Methods (Q3455652) (← links)
- Mechanical Reasoning about Families of UTP Theories (Q5179366) (← links)
