Use this URL to cite or link to this record in EThOS:
Title: Verification of Java programs in type theory with dependent record types and coercive subtyping
Author: Han, Seokhyun
ISNI:       0000 0004 2703 0680
Awarding Body: Royal Veterinary College (University of London)
Current Institution: Royal Veterinary College (University of London)
Date of Award: 2010
Availability of Full Text:
Access from EThOS:
No abstract available
Supervisor: Not available Sponsor: Not available
Qualification Name: Not available Qualification Level: Doctoral
EThOS ID:  DOI: Not available