title: Slides on Event-B used for Deploy Associate Training
creator: Butler, Michael
subject: Training
subject: Event-B
date: 2010-05
type: Teaching Resource
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/264/1/1_Event-B_overview.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/264/4/2_Bintro.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/264/7/3_Relations.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/264/8/4_Functions.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/264/9/5_Ships.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/264/17/6_Consistency.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/264/20/7_Refinement.pdf
identifier:   Butler, Michael  (2010) Slides on Event-B used for Deploy Associate Training.  [Teaching Resource]    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/264/

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