Separation of Considerations in Event-B Refinement toward Industrial Use.

Naoto Sato, Fuyuki Ishikawa

Browse the full FM paper archive.