title: Event-B Patterns and Their Tool Support
creator: Hoang, Thai Son
creator: Fürst, Andreas
creator: Abrial, Jean-Raymond
subject: Composition and reuse
subject: Rodin plug-ins
date: 2011
type: Article
type: PeerReviewed
relation: http://dx.doi.org/10.1007/s10270-010-0183-7
identifier:   Hoang, Thai Son and Fürst, Andreas and Abrial, Jean-Raymond  (2011) Event-B Patterns and Their Tool Support.  Software and Systems Modelling .        
relation: http://deploy-eprints.ecs.soton.ac.uk/412/