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

Group by: Item Type | Date | No Grouping

Number of items: 3.

Conference or workshop item

UNSPECIFIED (2000) Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare (Cornerstones of computing). In: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare. The full text of this publication is not available from this repository.

Woodcock, J. and Davies, J. and Bolton, C. (2000) Abstract Data Types and Processes. In: Proceedings of the Symposium in Honour of CAR Hoare. The full text of this publication is not available from this repository.

Boiten, E. and Derrick, J. and Bowman, H. and Steen, M. (1996) Consistency and refinement for partial specification in Z. In: UNSPECIFIED.

Preview

Preview

This list was generated on Wed May 22 01:40:59 2013 BST.