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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.