Software engineering
Subtitle: programme for formal methods in system development.
Contributors: Great Britain. AlveyDirectorate.
Publisher: Alvey Directorate
Published: 1984
Place of publication: London
Language: eng