Storage and verification of conceptual specifications in ametaCASEenvironment
By: K. Balatos ; supervised by P. Loucopoulos.
Contributors: Loucopoulos, P.; Computation.
Publisher: UMIST
Published: 1994
Place of publication: Manchester
Language: eng
Notes: Thesis Number: 11219.

MSc.