title: External and internal choice with event groups in Event-B
creator: Butler, Michael
subject: ADVANCE Project
subject: Refinement
subject: Event-B Theory
date: 2012
type: Article
type: PeerReviewed
relation: http://eprints.soton.ac.uk/341169/
identifier:   Butler, Michael  (2012) External and internal choice with event groups in Event-B.  FORMAL ASPECTS OF COMPUTING, 24  (4-6).   pp. 555-567.      
relation: http://deploy-eprints.ecs.soton.ac.uk/422/

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