Pages that link to "Item:Q2844821"
From MaRDI portal
The following pages link to Refinement and the Z schema calculus (Q2844821):
Displaying 7 items.
- A calculus for schemas in Z (Q1583855) (← links)
- BGSL: an imperative language for specification and refinement of backtracking programs (Q2096419) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- (Q4301167) (← links)
- (Q4737562) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703815) (← links)
- Determinism of multirelations (Q6561345) (← links)