Number of items: 4.
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.
Power, Bernadette (2003) Declassification: transforming java programs to remove intermediate classes. Master of Science thesis, Dublin City University.