Browse by Person (creator, editor, contributor, etc.)
Number of items: 3.
Conference or workshop item
Woodcock, J. and Davies, J. and Bolton, C.
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.