Michihiro Matsumoto, Kokichi Futatsugi. Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification. In ICFEM. pages 35-44, 2000. [doi]
@inproceedings{MatsumotoF00,
title = {Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification},
author = {Michihiro Matsumoto and Kokichi Futatsugi},
year = {2000},
url = {http://computer.org/proceedings/icfem/0822/08220035abs.htm},
tags = {rule-based, software components, software component, algebraic specification, algebra},
researchr = {https://researchr.org/publication/MatsumotoF00},
cites = {0},
citedby = {0},
pages = {35-44},
booktitle = {ICFEM},
}