From English to formal specifications.
Series: DX182643
Publisher: University of Salford
Published: 1994
Place of publication: Salford
Language: eng
Notes: PhD thesis, Mathematics and Computer Science.