Pages that link to "Item:Q5403471"
From MaRDI portal
The following pages link to General Refinement, Part Two: Flexible Refinement (Q5403471):
Displayed 4 items.
- Generic Tools via General Refinement (Q2873690) (← links)
- Guarded Operations, Refinement and Simulation (Q2994496) (← links)
- Building Specifications in the Event-B Institution (Q5060190) (← links)
- General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470) (← links)