creators_name: Butler, Michael
creators_name: Yadav, Divakar
type: article
datestamp: 2008-10-07 21:30:15
lastmod: 2008-10-07 21:30:15
metadata_visibility: show
title: An Incremental Development of the Mondex System in Event-B
ispublished: pub
subjects: examples
full_text_status: none
date: 2008-01
publication: Formal Aspects of Computing
volume: 20
number: 1
publisher: Springer
pagerange: 61-77
refereed: TRUE
official_url: http://eprints.ecs.soton.ac.uk/13346/
citation:   Butler, Michael and Yadav, Divakar  (2008) An Incremental Development of the Mondex System in Event-B.  Formal Aspects of Computing, 20  (1).   pp. 61-77.      

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