title: Tooling: Code Generation Update
creator: Edmunds, Andrew
creator: Lovell, Chris
creator: Silva, Renato
creator: Maamria, Issam
creator: Butler, Michael
subject: Code generation
subject: Event-B
subject: Tool developments
date: 2012-02
type: Conference or Workshop Item
type: NonPeerReviewed
relation: http://eprints.soton.ac.uk/338004/
identifier:   Edmunds, Andrew and Lovell, Chris and Silva, Renato and Maamria, Issam and Butler, Michael  (2012) Tooling: Code Generation Update.  In: Rodin User and Developer Workshop 2012, 28-28 February 2012, Fontainebleau.    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/396/

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