TY  - BOOK
AU  - Habrias, Henri, ed.
AU  - Frappier, Marc, ed.
TI  - Software specification methods
SN  - 9781905209347
CY  - London
KW  - Computer software - Specifications
KW  - Formal methods - Computer science
KW  - Software engineering
KW  - Software specification methods
N1  - Includes bibliographical references, glossary and index
ER  -