Thesis (Ph.D.) - University of Queensland, 2004. / Includes bibliography.
| Identifer | oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/62539042 |
| Date | January 2004 |
| Creators | Shield, Jamie Barry Nathan. |
| Publisher | St. Lucia, Qld., |
| Source Sets | OCLC |
| Language | English |
| Detected Language | English |
| Source | Towards an object-oriented refinement calculus</a><br>Read the abstract of the thesis. |
Page generated in 0.0017 seconds