TY  - BOOK
AU  - Gabbar, Hossam A.
TI  - Modern Formal Methods and Applications
SN  - 9789048170791
U1  - 005.133GAB 
PY  - 2010///
CY  - New York
PB  - Springer
KW  - Formal methods (Computer science)
UR  - http://10.10.170.122:8080/browse/book/27381
ER  -