TY  - BOOK
AU  - Laski, Janusz,
AU  - Stanley, William
TI  - Software verification and analysis: an integrated, hands-on approach
SN  - 9788132204510
U1  - 005.1 
PY  - 2009///
CY  - New Delhi
PB  - Springer
KW  - Computer software--Verification
KW  - Software engineering
KW  - Computer science
KW  - Computer programming
ER  -