TY  - BOOK
AU  - Zarina Shukur
TI  - The Automatic assessment of Z specifications
PY  - 1999///
CY  - Nottingham
PB  - School of Computer Science and IT, University of Nottingham
KW  - Educational tests and measurements
N1  - Thesis (Ph.D.) - University of Nottingham, 1999
ER  -