SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B.

Mohammadsadegh Dalvandi, Michael J. Butler, Asieh Salehi Fathabadi

Browse the full FM paper archive.