creators_name: Butler, Michael
type: teaching_resource
datestamp: 2010-12-15 16:59:46
lastmod: 2010-12-15 16:59:46
metadata_visibility: show
title: Slides on Event-B used for Deploy Associate Training
ispublished: unpub
subjects: deploy_training
subjects: deploy_training_eventb
full_text_status: public
date: 2010-05
citation:   Butler, Michael  (2010) Slides on Event-B used for Deploy Associate Training.  [Teaching Resource]    (Unpublished)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/264/1/1_Event-B_overview.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/264/4/2_Bintro.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/264/7/3_Relations.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/264/8/4_Functions.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/264/9/5_Ships.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/264/17/6_Consistency.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/264/20/7_Refinement.pdf

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