DORAS | DCU Research Repository
Explore open access research and scholarly works from DCU
Advanced Search
Browse by Author
Number of items: 1.
2010
Monahan, Rosemary
(2010)
Data Refinement in Object-Oriented Verification.
PhD thesis, Dublin City University.
This list was generated on Thu Nov 21 12:06:42 2024 UTC.