background image

Login (DCU Staff Only)

Latest Additions

Creative Commons License

Except where otherwise noted, content on this site is licensed for use under a:

Creative Commons Licence.

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 Wed Jun 19 08:24:44 2013 IST.

DORAS is managed by DCU Library and powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.