Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/09/25
Vol. E75-D
No. 5
pp. 648-656
Type of Manuscript:
Special Section PAPER (Special Issue on Software) Category: Keyword: software engineering, operational specification, business application, formal method, |