TY  - BOOK
T1  - Software verification and analysis an integrated, hands-on approach
A1  - Laski, Janusz
A2  - Stanley, William
LA  - English
PP  - London
PB  - Springer
YR  - 2009
UL  - https://tuklas.up.edu.ph/Record/UP-99796217609164587
OP  - 224
NO  - Dr. Prospero Naval Jr. (recommending faculty) : CS Dept.
CN  - QA 76.76 V47 L37 2009
SN  - 9781848822399
KW  - Computer software : Verification.
ER  -