Programme for formal methods in system development
By: prepared for the Software Engineering Directorate by the Advisory Group on Formal Methods.
Contributors: Advisory Group on Formal Methods.; Software Engineering Directorate.; Great Britain. Alvey Directorate.
Series: Alvey programme : software engineering; Alvey programme
Publisher: Alvey Directorate
Published: 1984
Place of publication: London
Language: eng