TY  - BOOK
AU  - Dershowitz,Nachum
AU  - Manna,Zohar
TI  - Verification: theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday 
SN  - 3540210024
AV  - QA76.76 V47 V48
PY  - 2004///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer software
KW  - Verification
ER  -