An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks.

Kokichi Futatsugi, Ataru T. Nakagawa

Browse the full ICFEM paper archive.