Change Impact Analysis for Refinement-Based Formal Specification
['Shinnosuke SARUWATARI', 'Fuyuki ISHIKAWA', 'Tsutomu KOBAYASHI', 'Shinichi HO ...']
/
IEICE Transactions on Information and Systems
/ Vol. 102
/ No. 8
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？