Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden. Change Impact Analysis for Refinement-Based Formal Specification. IEICE Transactions, 102-D(8):1462-1477, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.