Kazuhiro Ogata;Masaru Kondo;Shigenori Ioroi;Kokichi Futatsugi
-;-;-;-
Optimizing term rewriting using discrimination nets with specialization
Proceedings of the 1999 ACM symposium on Applied computing
An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods