TY  - JOUR
ID  - deploy38
UR  - http://eprints.ecs.soton.ac.uk/13346/
IS  - 1
A1  - Butler, Michael
A1  - Yadav, Divakar
Y1  - 2008/01//
PB  - Springer
JF  - Formal Aspects of Computing
VL  - 20
TI  - An Incremental Development of the Mondex System in Event-B
SP  - 61
AV  - none
EP  - 77
ER  -

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