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