Change Impact Analysis for Refinement-Based Formal Specification

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]

Bibliographies