Browse DORAS
Browse Theses
Latest Additions
Creative Commons License
Except where otherwise noted, content on this site is licensed for use under a:

Supervisors: Power, James

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 Fri Apr 28 08:13:01 2017 IST.