TY  - BOOK
AU  - BRADLEY AND MANNA
ED  - NO
TI  - CALCULUS OF COMPUTATION : DECISION PROCEDURES WITH APPLICATIONS TO VERTIFICATION
SN  - 9788184893960
U1  - 515 BRA 
PY  - 2010///
PB  - SPRINGER
ER  -