TY  - BOOK
AU  - Habrias,Henri
AU  - Frappier,Marc
TI  - Software specification methods
SN  - 1905209347
PY  - 2006///
CY  - London, Newport Beach, CA
PB  - ISTE Ltd
KW  - Formal methods (Computer science)
KW  - Computer software
KW  - Specifications
N1  - Includes bibliographical references and index
ER  -