Pages that link to "Item:Q5403470"
From MaRDI portal
The following pages link to General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470):
Displaying 7 items.
- Contexts, refinement and determinism (Q541213) (← links)
- Generic tools via general refinement (Q2873690) (← links)
- Refinement by Interpretation in a General Setting (Q2994492) (← links)
- Guarded Operations, Refinement and Simulation (Q2994496) (← links)
- Building Specifications in the Event-B Institution (Q5060190) (← links)
- General Refinement, Part Two: Flexible Refinement (Q5403471) (← links)
- Interfaces for refining recursion and procedures (Q5944219) (← links)