creators_name: Silva, Renato
creators_name: Butler, Michael
type: conference_item
datestamp: 2010-01-27 17:28:27
lastmod: 2010-01-27 17:28:27
metadata_visibility: show
title: Supporting Reuse of Event-B Developments through Generic Instantiation
ispublished: pub
subjects: deploy_method_comp
subjects: theory
full_text_status: none
pres_type: paper
date: 2009
date_type: published
series: Lecture Notes in Computer Science
volume: 5885
publisher: Springer
event_title: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009
event_type: conference
refereed: TRUE
official_url: http://eprints.ecs.soton.ac.uk/18420/
citation:   Silva, Renato and Butler, Michael  (2009) Supporting Reuse of Event-B Developments through Generic Instantiation.  In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009.     

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