Edmunds, Andrew and Butler, Michael   Presentation Slides - Tasking Event-B for Code Generation.  In: Deploy Plenary Meeting, October 2010, Zurich.    (Unpublished)  

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