Research Repository

CSM-379 An analysis of total correctness refinement models for partial relation semantics I

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.

[img]
Preview
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 View Item