Research Repository

CSM-379a Results on Formal Stepwise Design in Z

Deutsch, M and Henson, M and Reeves, S (2003) CSM-379a Results on Formal Stepwise Design in Z. UNSPECIFIED. CSM-379a, University of Essex, Colchester.

[img]
Preview
Text
csm379a.PDF

Download (1MB) | 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/14451

Actions (login required)

View Item View Item