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