CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
| Date first appeared online | |
| DOI | 10.1016/j.entcs.2009.08.018 |
| Authors | O'Reilly L., Roggenbach M. |
| Journal Name | Electronic Notes in Theoretical Computer Science |
| Volume | 250 |
| Date first appeared online | |
| DOI | 10.1016/j.entcs.2009.08.018 |
| Authors | O'Reilly L., Roggenbach M. |
| Journal Name | Electronic Notes in Theoretical Computer Science |
| Volume | 250 |