Zarina Shukur <br/><br/>
The Automatic assessment of Z specifications / 
Zarina Shukur 
 - Nottingham :  School of Computer Science and IT, University of Nottingham,  1999 
 - xii , 201 p. :  ill. ;  30 cm. 
<br/><br/>Thesis (Ph.D.) - University of Nottingham, 1999 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Educational tests and measurements