TY  - BOOK
AU  - laski, janusz
AU  - laski, janusz
TI  - software verification and analysis  :  an integrated hands on approach
SN  - 978-81-322-0451-0
U1  - 005.1 las 
PY  - 2012///
CY  - new delhi
PB  -  springer
KW  - semantic analysis, programs,computer science
N2  - Available
ER  -