TY  - GEN
AU  - Gabbar, Hossam A. 
TI  - Modern Formal Methods and Applications
SN  - 978-1402042225
U1  - 005.13 
PY  - 2006///
CY  - Notherland
PB  - Springer, 
KW  - This book will be helpful for both beginners and experts to get insights and experience on modern formal methods by viewing real applications from different domains
N1  - Includes index
ER  -