TY  - BOOK
AU  - K. Futatsugi-A.T. Nakagawa-T. Tamai
TI  - CAFE: An Industrial-Strength Algebraic Formal Method
SN  - 9780080528403
AV  - QA10 .C35 2000eb 
U1  - 511.3 
PY  - 2000///
PB  - Elsevier Science
KW  - Algebraic logic--Congresses.,Formal methods (Computer science)--Congresses
KW  - COMPUTERS / Languages / General
UR  - https://search.ebscohost.com/login.aspx?direct=true&db=e230xww&scope=site&site=ehost-live&AN=211359
ER  -