TY  - BOOK
AU  - Frappier, Marc
AU  - Habrias, Henri
TI  - Software specification methods
SN  - 1905209347
U1  - 004.0151 
PY  - 2006///
CY  - London
PB  - ISTE
KW  - Formal methods (Computer Science)
KW  - Computer software - spacifications
ER  -