TY  - BOOK
AU  - Gabbar,Hossam A.
TI  - Modern formal methods and appilcations
SN  - 1402042221
PY  - 2006///
CY  - Dordrecht
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Industrial applications
ER  -