The following pages link to (Q2767195):
Displaying 5 items.
- Model evolution and refinement (Q436356) (← links)
- Contexts, refinement and determinism (Q541213) (← links)
- General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470) (← links)
- General Refinement, Part Two: Flexible Refinement (Q5403471) (← links)
- Sound and Relaxed Behavioural Inheritance (Q5861787) (← links)
