Pages that link to "Item:Q5179366"
From MaRDI portal
The following pages link to Mechanical Reasoning about Families of UTP Theories (Q5179366):
Displaying 5 items.
- Mechanical reasoning about families of UTP theories (Q436368) (← links)
- Semantic inheritance in unifying theories of programming (Q1941890) (← links)
- Unifying theories in ProofPower-Z (Q1941892) (← links)
- Isabelle/UTP: A Mechanised Theory Engineering Framework (Q2814613) (← links)
- UTPCalc — A Calculator for UTP Predicates (Q2971182) (← links)