Return to search

A refinement calculus for nondeterministic expressions

No description available.

1. http://espace.library.uq.edu.au/view/UQ:192541

Identifer	oai:union.ndltd.org:ADTP/287964
Creators	Ward, Nigel Thomas Edgar
Source Sets	Australiasian Digital Theses Program
Detected Language	English