Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification.

Michihiro Matsumoto, Kokichi Futatsugi

Browse the full ICFEM paper archive.