Michihiro Matsumoto, Kokichi Futatsugi. Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification. In ICFEM. pages 35-44, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.