Pages that link to "Item:Q436368"
From MaRDI portal
The following pages link to Mechanical reasoning about families of UTP theories (Q436368):
Displaying 6 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)
- 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)