TY  - BOOK
AU  - NISSIM FRANCEZ
TI  - PROGRAM VERIFICATION
SN  - 0201416085
U1  - 005.1`4   FRA N2 
PB  - ADDISON - WESLEY
KW  - COMPUTER SCIENCE
KW  - SOFTWARE TESTING
ER  -