Up a level |
Cheng, Zheng (2016) Formal Verification of Relational Model Transformations using an Intermediate Verification Language. PhD thesis, National University of Ireland Maynooth.
Cheng, Zheng (2011) nExaminer: A Semi-automated Assignment Assessment Framework for Moodle. Masters thesis, National University of Ireland Maynooth.