Programme for formal methods in system development : overview : prepared for the Software Engineering Directorate /
Advisory Group on Formal Methods.
London Alvey Directorate
1984
Computer software