TY  - BOOK
AU  - Bradley,Aaron R.
AU  - Manna,Zohar
TI  - Calculus of computation: decision procedures with applications to verification 
SN  - 3540741127
AV  - QA76.9.L63 B73 2007
U1  - 515.1 Cut B811 
PY  - 2007///
CY  - Berlin
PB  - Springer
KW  - Computer logic
KW  - Computer programs
KW  - Verification
N1  - Includes bibliographical references (p.[351]-355) and index
UR  - http://www.loc.gov/catdir/toc/fy0803/2007932679.html
UR  - http://www.loc.gov/catdir/enhancements/fy0904/2007932679-d.html
ER  -