title: Decomposition Structures for Event-B
creator: Butler, Michael
subject: Composition and reuse
subject: Refinement
subject: Event-B
date: 2009-02
type: Conference or Workshop Item
type: NonPeerReviewed
relation: http://eprints.ecs.soton.ac.uk/16965/
identifier:   Butler, Michael  (2009) Decomposition Structures for Event-B.  In: Integrated Formal Methods iFM2009.    (In Press)  
relation: http://deploy-eprints.ecs.soton.ac.uk/51/