Items where Author is "Deutsch, M"
 | Up a level |
Henson, M and Deutsch, M and Reeves, S (2008) Z Logic and Its Applications. In: Logics of Specification Languages. Monographs in Theoretical Computer Science . Springer, pp. 489-596. ISBN 9783540741060.
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.
Henson, M and Deutsch, M and Reeves, S (2002) CSM-363 - Six theories of operation refinement for partial relation semantics. UNSPECIFIED. CSM-363, University of Essex, Colchester.
Henson, M and Deutsch, M and Reeves, S (2002) CSM-364 - An analysis of operation refinement in Z. UNSPECIFIED. CSM-364, University of Essex, Colchester.
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.
Henson, M and Deutsch, M and Kajtazi, B CSM-421 The Specification Logic vZ. UNSPECIFIED. CSM-421, University of Essex, Colchester.