Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden. Consistency-preserving refactoring of refinement structures in Event-B models. Formal Asp. Comput., 31(3):287-320, 2019. [doi]
@article{KobayashiIH19,
title = {Consistency-preserving refactoring of refinement structures in Event-B models},
author = {Tsutomu Kobayashi and Fuyuki Ishikawa and Shinichi Honiden},
year = {2019},
doi = {10.1007/s00165-019-00478-z},
url = {https://doi.org/10.1007/s00165-019-00478-z},
researchr = {https://researchr.org/publication/KobayashiIH19},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {31},
number = {3},
pages = {287-320},
}