Pages that link to "Item:Q1177155"
From MaRDI portal
The following pages link to Data refinement of predicate transformers (Q1177155):
Displaying 4 items.
- Blaming the client: on data refinement in the presence of pointers (Q607403) (← links)
- Angelic nondeterminism in the unifying theories of programming (Q851128) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- External and internal choice with event groups in Event-B (Q1941871) (← links)
