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 Mon Mar 16 03:00:01 2026 UTC.
