TY  - BOOK
AU  - Perry, Douglas L
TI  - Applied Formal Verification
PY  - 2005///
CY  - New york.
PB  - MGH.
ER  -