TY  - BOOK
AU  - Habrias,Henri
AU  - Frappier,Marc
TI  - Software specification methods
SN  - 1905209347
AV  - QA76.9.F67  .S63 2006
PY  - 2006///
CY  - Newport Beach, CA
PB  - ISTE Ltd
KW  - Formal methods (Computer science)
KW  - Computer software
KW  - Specifications
ER  -