CAFE: An Industrial-Strength Algebraic Formal Method
K. Futatsugi-A.T. Nakagawa-T. Tamai
CAFE: An Industrial-Strength Algebraic Formal Method - 1st ed - Elsevier Science 2000
9780080528403
Algebraic logic--Congresses.,Formal methods (Computer science)--Congresses.
COMPUTERS / Languages / General
QA10 .C35 2000eb
511.3
CAFE: An Industrial-Strength Algebraic Formal Method - 1st ed - Elsevier Science 2000
9780080528403
Algebraic logic--Congresses.,Formal methods (Computer science)--Congresses.
COMPUTERS / Languages / General
QA10 .C35 2000eb
511.3