title: Presentation Slides - Tasking Event-B for Code Generation
creator: Edmunds, Andrew
creator: Butler, Michael
subject: Code generation
subject: Event-B
subject: Tool developments
subject: Rodin plug-ins
type: Conference or Workshop Item
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/260/2/CGSlidesAndy%2520Edmunds%2520-%2520Code%2520Generation%2520Slides.pdf
identifier:   Edmunds, Andrew and Butler, Michael   Presentation Slides - Tasking Event-B for Code Generation.  In: Deploy Plenary Meeting, October 2010, Zurich.    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/260/

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