"264","Slides on Event-B used for Deploy Associate Training","","http://deploy-eprints.ecs.soton.ac.uk/264/","Butler, Michael","UNSPECIFIED","       <span class=\"person_name\">Butler, Michael</span>     (2010)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/264/\"><em>Slides on Event-B used for Deploy Associate Training.</em></a>       [Teaching Resource]         (Unpublished)   ","","2010-05"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>