Pages that link to "Item:Q5703820"
From MaRDI portal
The following pages link to ZB 2005: Formal Specification and Development in Z and B (Q5703820):
Displayed 4 items.
- Contexts, refinement and determinism (Q541213) (← links)
- Data refinement and singleton failures refinement are not equivalent (Q931436) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470) (← links)