Skip to Main Content Area
Search the collection
Home
Books
Journals
Theses
Pugh's Almanac
Government Gazette
Hansard
The Queenslander
thesis
A refinement calculus for nondeterministic expressions
Ward, Nigel Thomas Edgar
School of Computer Science and Electrical Engineering
,
The University of Queensland
,
1994
Download PDF (24.39MB)
Home
About
Partners
