Deutsch, M and Henson, M and Reeves, S CSM-379 An analysis of total correctness refinement models for partial relation semantics I. UNSPECIFIED. CSM-379, University of Essex, Colchester.
|
Text
csm379_copy(1).PDF Download (2MB) | Preview |
| Item Type: | Monograph (UNSPECIFIED) |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | Faculty of Science and Health > Computer Science and Electronic Engineering, School of |
| Depositing User: | Carla Watkins |
| Date Deposited: | 11 Aug 2015 10:48 |
| Last Modified: | 17 Aug 2017 17:34 |
| URI: | http://repository.essex.ac.uk/id/eprint/14450 |
Actions (login required)
 |
View Item |