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

Michihiro Matsumoto, Kokichi Futatsugi. Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification. In ICFEM. pages 35-44, 2000. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.