The following pages link to (Q3996918):
Displaying 9 items.
- Verification of \(\mathrm{EB}^3\) specifications using CADP (Q282110) (← links)
- Property transformation under specification change (Q352027) (← links)
- A functional framework for agent-based models of exchange (Q426933) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- Reflexive transitive invariant relations: A basis for computing loop functions (Q604384) (← links)
- An elementary and unified approach to program correctness (Q607408) (← links)
- Hume box calculus: Robust system development through software transformation (Q656858) (← links)
- Refinement for user interface designs (Q1047216) (← links)
- An Introduction to Grammar Convergence (Q3605471) (← links)