TY  - BOOK
AU  - Laski,Janusz
AU  - Stanley,William
TI  - Software verification and analysis: an integrated, hands-on approach 
SN  - 1848822391
PY  - 2009///
CY  - New York
PB  - Springer
KW  - Computer software
KW  - Verification
N1  - Includes bibliographical references and index
ER  -