A library of formal specification
By: Tanko Ishaya ; supervised by T. Scheurer.
Contributors: Scheurer, T.; Computation.
Publisher: UMIST
Published: 1997
Place of publication: Manchester
Language: eng
Notes: Thesis number: 13168.

MSc.