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
Faculty of Science and Health > Computer Science and Electronic Engineering, School of
SWORD Depositor: Elements
Depositing User: Elements
Date Deposited: 11 Aug 2015 10:48
Last Modified: 15 Jan 2022 01:07
URI: http://repository.essex.ac.uk/id/eprint/14450

Actions (login required)

View Item View Item