Pages that link to "Item:Q1386404"
From MaRDI portal
The following pages link to Data refinement of mixed specifications: A generalization of UNITY (Q1386404):
Displaying 5 items.
- An experiment with the use of predicate transformers in UNITY (Q673907) (← links)
- Unity properties and sequences of states, some observations (Q688444) (← links)
- Data refinement and singleton failures refinement are not equivalent (Q931436) (← links)
- Composing leads-to properties (Q1575647) (← links)
- Unification: A case-study in data refinement (Q1898815) (← links)