Formal methods for VSI design
By: S.G.Read ; supervised by M.Edwards.
Contributors: Edwards, M.; Computation.
Publisher: UMIST
Published: 1994
Place of publication: Manchester
Language: eng
Notes: Thesis Number: P4919.

MSc.