Return to search

Towards an object-oriented refinement calculus /

Thesis (Ph.D.) - University of Queensland, 2004. / Includes bibliography.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/62539042
Date January 2004
CreatorsShield, Jamie Barry Nathan.
PublisherSt. Lucia, Qld.,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceTowards an object-oriented refinement calculus</a><br>Read the abstract of the thesis.

Page generated in 0.0022 seconds