Browse DORAS
Browse Theses
Search
Latest Additions
Creative Commons License
Except where otherwise noted, content on this site is licensed for use under a:

Supervisors: Morris, Joseph

Number of items: 1.

Doctoral Thesis

Monahan, Rosemary (2010) Data Refinement in Object-Oriented Verification. PhD thesis, Dublin City University.

This list was generated on Thu Dec 18 08:44:30 2014 GMT.