Journal article 1258 views
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
Liam O'Reilly 
,
Markus Roggenbach ,
Yoshinao Isobe
,
Markus Roggenbach ,
Yoshinao Isobe
Electronic Notes in Theoretical Computer Science, Volume: 250, Issue: 2, Start page: 69
Swansea University Authors:
Liam O'Reilly , Markus Roggenbach
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1016/j.entcs.2009.08.018
Abstract
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
| Published in: | Electronic Notes in Theoretical Computer Science |
|---|---|
| ISSN: | 1571-0661 |
| Published: |
2009
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa165 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Item Description: |
Electronic Notes in Theoretical Computer Science 250 |
|---|---|
| College: |
Faculty of Science and Engineering |
| Issue: |
2 |
| Start Page: |
69 |