- Title
- CSP and Timewise Refinement
- Creators
- AW RoscoeGM ReedSA Schneider
- Contributors
- Springer (Publisher)
- Conference
- BCS-FACS Refinement Workshop (Cambridge)
- Date submitted
- 17/05/2017
- Identifiers
- 99511985202346
- Academic Unit
- University of Surrey
- Resource Type
- Conference presentation
Conference presentation
CSP and Timewise Refinement
BCS-FACS Refinement Workshop (Cambridge)
17/05/2017
Metrics
11 Record Views