creators_name: Gondal, Ali
creators_name: Poppleton, Mike
creators_name: Butler, Michael
type: conference_item
datestamp: 2012-07-23 06:31:33
lastmod: 2012-07-23 06:31:33
metadata_visibility: show
title: Composing Event-B Specifications - Case-Study Experience
ispublished: pub
subjects: deploy_method_comp
full_text_status: none
pres_type: paper
note:  Event Dates: 30 June ? 1 July, 2011
date: 2011-07
volume: LNCS
number: 6708
publisher: Springer
pagerange: 100-115
event_title: 10th International Conference on Software Composition
event_type: conference
refereed: TRUE
official_url: http://eprints.soton.ac.uk/271988/
citation:   Gondal, Ali and Poppleton, Mike and Butler, Michael  (2011) Composing Event-B Specifications - Case-Study Experience.  In: 10th International Conference on Software Composition.     

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