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

Author: Mendel-Gleason, Gavin

Number of items: 1.

2012

Mendel-Gleason, Gavin (2012) Types and verification for infinite state systems. PhD thesis, Dublin City University.

This list was generated on Thu Aug 17 08:55:28 2017 IST.