title: An Incremental Development of the Mondex System in Event-B
creator: Butler, Michael
creator: Yadav, Divakar
subject: Event-B Examples
publisher: Springer
date: 2008-01
type: Article
type: PeerReviewed
relation: http://eprints.ecs.soton.ac.uk/13346/
identifier:   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.      
relation: http://deploy-eprints.ecs.soton.ac.uk/38/

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