The following pages link to (Q4003175):
Displaying 9 items.
- Compositional noninterference from first principles (Q432152) (← links)
- A reification calculus for model-oriented software specification (Q911753) (← links)
- The connection between two ways of reasoning about partial functions (Q963419) (← links)
- VDM and Z: A comparative case study (Q1184684) (← links)
- Multi-relations in Z. A cross between multi-sets and binary relations (Q1186512) (← links)
- Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
- Specification by interface separation (Q1903078) (← links)
- Possible values: exploring a concept for concurrency (Q2374311) (← links)
- How to Brew-up a Refinement Ordering (Q2994493) (← links)