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

Supervisors: Hamilton, Geoff

Number of items: 4.

Doctoral Thesis

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

Kabir, Md. Humayun (2007) Automatic inductive theorem proving and program construction methods using program transformation. PhD thesis, Dublin City University.

Aziz, Benyamin Y. Y. (2003) A static analysis framework for security properties in mobile and cryptographic systems. PhD thesis, Dublin City University.

Masters Thesis

Power, Bernadette (2003) Declassification: transforming java programs to remove intermediate classes. Master of Science thesis, Dublin City University.

This list was generated on Thu Oct 30 08:55:22 2014 GMT.