TY  - GEN
AU  - Douglas L. Perry
AU  - Harry D. Foster
TI  - Applied formal verification
SN  - 007144372x
U1  - 621.3815 
PY  - 2005///
CY  - New York.
PB  - McGraw Hill
ER  -