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 Sat Dec 21 14:43:39 2024 UTC.