TY  - BOOK
AU  - Janusz Laski
AU  - Stanley
TI  - Software verification and Analysis
SN  - 0000104678
U1  - 1.6425 
PY  - 2011///
CY  - New Delhi
PB  - Springer
KW  -  Software
KW  -  verification
KW  - Analysis
KW  - Software Engineering
ER  -