Design and specification of a program specification language for engineering applications.
Series: DX 177155
Publisher: University ofSalford
Published: 1992
Place of publication: Salford
Language: eng
Notes: PhD thesis, Mathematics and Computer Science.