Other Publication Details
Mandatory Fields
Thesis
Monahan, Rosemary
2009
Data Refinement in Object-Oriented Verification
Published
0
()
Optional Fields
Dublin City University
Grant Details