TY  - BOOK
AU  - Laski,Janusz
AU  - Stanley,William
ED  - SpringerLink (Online service)
TI  - Software verification and analysis: an integrated, hands-on approach 
SN  - 9781848822405
U1  - 005.14 22
PY  - 2009///
CY  - London
PB  - Springer-Verlag London
KW  - Computer software
KW  - Verification
KW  - Programming Techniques
KW  - Software Engineering/Programming and Operating Systems
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-1-84882-240-5
ER  -