Browse DORAS
Browse Theses
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 Tue Oct 13 08:00:51 2015 IST.