TY  - BOOK
AU  - Laski Janusz
AU  - Stanley William
TI  - Software Verification and Analysis an Integrated Hands on Approach
SN  - 9788132204510
U1  - 681.3.06  LAS 
PY  - 2009///
CY  - New Delhi
PB  - Springer
KW  - Software Engineering
ER  -