title: Pre-reading material for the Bucharest DEPLOY 2-day Course
creator: Hoang, Thai Son
subject: Event-B
subject: Rodin tool
subject: Event-B Examples
subject: Event-B Theory
type: Teaching Resource
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/234/1/A_ch1.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/234/4/A_ch2.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/234/7/math1-single.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/234/10/math1-handout.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/234/13/evtb-slides.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/234/14/evtb-handout.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/234/19/po-slides.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/234/22/po-handout.pdf
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/234/25/search.zip
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/234/28/instructions.pdf
identifier:   Hoang, Thai Son   Pre-reading material for the Bucharest DEPLOY 2-day Course.  [Teaching Resource]    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/234/