Staff Thesis 826 views
Developing Proof Technology For CSP-CASL
Liam O'Reilly 
Swansea University Author:
Liam O'Reilly
Abstract
Developing Proof Technology For CSP-CASL
| Published: |
2008
|
|---|---|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa51775 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| College: |
Faculty of Science and Engineering |
|---|