TY  - BOOK
AU  - Perry, Douglas L, Foster, Harry D
TI  - Applied formal verification
SN  - 0-07-144372-X
U1  - 621.3815 PER 
PY  - 2005///
CY  - NEW YORK
PB  - MCGRAW HILL
KW  - APPLIED FORMAL VERIFICATION.SIMULATION BASED VERIFICATION.SYSTEM LEVEL SIMULATION
ER  -