내용 |
Strategy / D. Talbot and R. W. Witty -- Programme for formal methods in system development / prepared for the Software Engineering Directorate by the Advisory Group on formal methods -- Software reliability and metrics programme / prepared by the Centre for Software Reliability for the Alvey Directorate.
|