Pages that link to "Item:Q436368"
From MaRDI portal
The following pages link to Mechanical reasoning about families of UTP theories (Q436368):
Displaying 9 items.
- Mechanised support for sound refinement tactics (Q432151) (← links)
- Mechanical reasoning about families of UTP theories (Q436368) (← links)
- Test-data generation for control coverage by proof (Q736805) (← links)
- Semantic inheritance in unifying theories of programming (Q1941890) (← links)
- Unifying theories in ProofPower-Z (Q1941892) (← links)
- An Axiomatic Value Model for Isabelle/UTP (Q2971180) (← links)
- Automating Refinement of Circus Programs (Q2999326) (← links)
- Higher-Order UTP for a Theory of Methods (Q3455652) (← links)
- Mechanical Reasoning about Families of UTP Theories (Q5179366) (← links)