Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Conference or workshop item
Tang, Xinbei. and Woodcock, Jim
In: MPC2004: The 7th International Conference on Mathematics of Program Construction, Jul 12-14, 2004, Stirling, Scotland.
(The full text of this publication is not available from this repository)