TY  - BOOK
AU  - Bradley,Aaron R.,
AU  - Manna,Zohar
TI  - The Calculus of Computation: Decision Procedures with Applications to Verification
SN  - 9788184893960
U1  - 004.015 
PY  - 2010///
CY  - New Delhi
PB  - Springer
ER  -