Book chapter 1612 views
A Generic Theorem Prover of CSP Refinement
Isobe, Yoshinao,
Roggenbach, Mark,
Markus Roggenbach 
Tools and Algorithms for the Construction and Analysis of Systems, Volume: 3440, Pages: 108 - 123
Swansea University Author:
Markus Roggenbach
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/b107194
Abstract
A Generic Theorem Prover of CSP Refinement
| Published in: | Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| ISSN: | 0302-9743 1611-3349 |
| Published: |
Springer
2005
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa1728 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
108 |
| End Page: |
123 |