TY  - BOOK
AU  - Łaski,Janusz
AU  - Stanley,William
TI  - Software verification and analysis: An integrated, hands-on approach 
SN  - 978132204510
U1  - 005.1 LAS/S 
PY  - 2009///
CY  - New Delhi
PB  - Springer
KW  - COMPUTER SCIENCE
KW  - SOFTWARE ANALYSIS AND TESTING
KW  - SOFTWARE QUALITY ASSURANCE
N1  - Includes bibliographical references and index
ER  -