Reason: Access restricted by the author. A copy can be requested for private reseach and study by contacting your intitution's library service. This copy cannot be republished
A default logic extension of Object-Z
thesisposted on 2022-04-08, 06:06 authored by Chan, Ka Yee.
This thesis was scanned from the print manuscript for digital preservation and is copyright the author. Researchers can access this thesis by asking their local university, institution or public library to make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.