Login (DCU Staff Only)
Login (DCU Staff Only)

DORAS | DCU Research Repository

Explore open access research and scholarly works from DCU

Advanced Search

Browse by Author

[up] Up a level
[Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Group by: Date | No Grouping
Jump to: 1996
Number of items: 1.

1996

Ward, Sandra (1996) Implementation of action semantics in coq. Master of Science thesis, Dublin City University.

This list was generated on Thu Nov 21 10:34:34 2024 UTC.