title: A Systematic Approach to Atomicity Decomposition in Event-B
creator: Fathabadi, Asieh Salehi
creator: Butler, Michael
creator: Rezazadeh, Abdolbaghi
subject: ADVANCE Project
subject: Event-B
date: 2012-10
type: Conference or Workshop Item
type: PeerReviewed
relation: http://eprints.soton.ac.uk/340356/
identifier:   Fathabadi, Asieh Salehi and Butler, Michael and Rezazadeh, Abdolbaghi  (2012) A Systematic Approach to Atomicity Decomposition in Event-B.  In: SEFM.     
relation: http://deploy-eprints.ecs.soton.ac.uk/425/

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>