Browse by Authors
Number of items: 1. Shukur, Zarina (1999) The automatic assessment of Z specifications. PhD thesis, University of Nottingham. |
Browse by Authors
Number of items: 1. Shukur, Zarina (1999) The automatic assessment of Z specifications. PhD thesis, University of Nottingham. |