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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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. (Full text available)
[img]
Preview
[img]
Preview

This list was generated on Sat Apr 19 07:56:40 2014 BST.