The Automatic assessment of Z specifications - Zarina Shukur (Nottingham : School of Computer Science and IT, University of Nottingham, 1999)
Thesis (Ph.D.) - University of Nottingham, 1999
Keywords: Educational tests and measurements