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]
@article{SaruwatariIKH19,
title = {Change Impact Analysis for Refinement-Based Formal Specification},
author = {Shinnosuke Saruwatari and Fuyuki Ishikawa and Tsutomu Kobayashi and Shinichi Honiden},
year = {2019},
url = {http://search.ieice.org/bin/summary.php?id=e102-d_8_1462},
researchr = {https://researchr.org/publication/SaruwatariIKH19},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {102-D},
number = {8},
pages = {1462-1477},
}