The Automatic assessment of Z specifications /

Saved in:
Bibliographic Details
Main Author: Zarina Shukur
Format: Thesis Book
Language:English
Published: Nottingham : School of Computer Science and IT, University of Nottingham, 1999
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!