Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Number of items: 2.

Article

Cavalcanti, A.L.C. and Woodcock, JCP (1998) A Weakest Precondition Semantics for Z. The Computer Journal, 41 (1). pp. 1-15. ISSN 0010-4620 . The full text of this publication is not available from this repository.

Cavalcanti, A.L.C. and Sampaio, A. and Woodcock, JCP (1998) Procedures and Recursion in the Refinement Calculus. Journal of the Brazilian Computer Society, 5 (1). pp. 1-15. ISSN 0104-6500. The full text of this publication is not available from this repository.

This list was generated on Wed Jun 19 06:26:17 2013 BST.