DORAS | DCU Research Repository
Explore open access research and scholarly works from DCU
Advanced Search
Browse by Supervisors
Up a level
Number of items: 1.
Masters Thesis
Ward, Sandra
(1996)
Implementation of action semantics in coq.
Master of Science thesis, Dublin City University.
This list was generated on Sun Feb 22 23:11:33 2026 UTC.
