TY  - BOOK
AU  - Laski, Janusz
AU  - Stanley, William.,jt.auth.
TI  - Software verification and analysis : an integrated, hands-on approach
SN  - 9788132204510
U1  - 005.14 LAS-J 
PY  - 2009///
CY  - New Delhi
PB  - Springer
KW  - Computer software --Verification
ER  -