Skip to Main Content Area

Search the collection

Home
Books
Journals
Theses
Pugh's Almanac
Government Gazette
Hansard
The Queenslander

Ward, Nigel Thomas Edgar

thesis A refinement calculus for nondeterministic expressions
Ward, Nigel Thomas Edgar School of Computer Science and Electrical Engineering, The University of Queensland, 1994

Home
About
Partners

Copyright © Centre for the Government of Queensland. All rights reserved.