creators_name: Butler, Michael
type: article
datestamp: 2012-07-16 18:29:48
lastmod: 2012-09-11 18:37:46
metadata_visibility: show
title: External and internal choice with event groups in Event-B
ispublished: pub
subjects: ADVANCE
subjects: Refinement
subjects: theory
full_text_status: none
date: 2012
date_type: published
publication: FORMAL ASPECTS OF COMPUTING
volume: 24
number: 4-6
pagerange: 555-567
refereed: TRUE
official_url: http://eprints.soton.ac.uk/341169/
related_url_url: http://dx.doi.org/10.1007/s00165-012-0239-2
citation:   Butler, Michael  (2012) External and internal choice with event groups in Event-B.  FORMAL ASPECTS OF COMPUTING, 24  (4-6).   pp. 555-567.      

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