Animation prototyping of formal specifications
By: by T.S. Hughes.
Published: 1992
Language: eng
Notes: Thesis (Ph.D.) - Loughborough University of Technology, 1992.