creators_name: Edmunds, Andrew
creators_name: Butler, Michael
creators_id: ae2@ecs.soton.ac.uk
creators_id: mjb@ecs.soton.ac.uk
type: conference_item
datestamp: 2010-12-03 15:11:00
lastmod: 2010-12-09 15:36:52
metadata_visibility: show
title: Presentation Slides - Tasking Event-B for Code Generation
ispublished: unpub
subjects: Code_generation
subjects: Event-Bsemantics
subjects: deploy_tooldev
subjects: deploy_tooldev_rodinplugins
full_text_status: public
pres_type: other
event_title: Deploy Plenary Meeting
event_location: Zurich
event_dates: October 2010
event_type: workshop
refereed: FALSE
citation:   Edmunds, Andrew and Butler, Michael   Presentation Slides - Tasking Event-B for Code Generation.  In: Deploy Plenary Meeting, October 2010, Zurich.    (Unpublished)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/260/2/CGSlidesAndy%2520Edmunds%2520-%2520Code%2520Generation%2520Slides.pdf

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