Research Repository

Items where Author is "Reeves, S"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 7.

Book Section

Henson, M and Deutsch, M and Reeves, S (2008) 'Z Logic and Its Applications.' In: Henson, M and Bjorner, D, (eds.) Logics of Specification Languages. Monographs in Theoretical Computer Science . Springer, 489 - 596. ISBN 9783540741060

Monograph

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 Reeves, S (2002) CSM-362a - An Analysis of total correctness refinement models for partial relation semantics I. UNSPECIFIED. CSM-362a, 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.

Henson, M and Reeves, S (2001) CSM-361 - A Logic for Schema-based Program Development. UNSPECIFIED. CSM-361, 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.

This list was generated on Thu Nov 21 16:43:23 2019 GMT.