Refactoring Refinement Structure of Event-B Machines

FM 2016: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-48989-6_27 ◽

2016 ◽

pp. 444-459 ◽

Author(s):

Tsutomu Kobayashi ◽

Fuyuki Ishikawa ◽

Shinichi Honiden

Download Full-text