The following pages link to David Streader (Q541212):
Displaying 10 items.
- Contexts, refinement and determinism (Q541213) (← links)
- Data refinement and singleton failures refinement are not equivalent (Q931436) (← links)
- Generic Tools via General Refinement (Q2873690) (← links)
- Guarded Operations, Refinement and Simulation (Q2994496) (← links)
- (Q5310886) (← links)
- Automated Technology for Verification and Analysis (Q5394182) (← links)
- General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470) (← links)
- General Refinement, Part Two: Flexible Refinement (Q5403471) (← links)
- CONFLICTS AND FAIR TESTING (Q5484903) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709962) (← links)
