DORAS | DCU Research Repository
Explore open access research and scholarly works from DCU
Advanced Search
Browse by Supervisors
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 26 07:38:46 2024 UTC.
![[up]](/style/images/multi_up.png)
Up a level