A Systematic Approach to Atomicity Decomposition in Event-B.

Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh

Browse the full SEFM paper archive.