TY  - BOOK
AU  - Bradley, Aaron R
AU  - Manna, Zohar
TI  - Calculus of Computation: decision procedures with applications to verification
SN  - 9788184893960
U1  - 515.22 BRA 
PY  - 2010///
CY  - Berlin
PB  - Springer Verlag, Netherlands
KW  - Computer programs - Verification
KW  - Computer logic
ER  -