Consistency-preserving refactoring of refinement structures in Event-B models
Crossref DOI link: https://doi.org/10.1007/s00165-019-00478-z
Published Print: 2019-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kobayashi, Tsutomu
Ishikawa, Fuyuki
Honiden, Shinichi
Text and Data Mining valid from 2019-06-01
Article History
Received: 22 August 2017
Accepted: 16 January 2019
First Online: 11 February 2019