title: Bucharest DEPLOY 2-day course
creator: Hoang, Thai Son
subject: Event-B
subject: Rodin tool
type: Teaching Resource
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/238/1/car-single.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/238/4/car-handout.pdf
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/238/7/ch2_car.zip
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/238/8/brp-slides.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/238/11/brp-handout.pdf
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/238/14/ch6_brp.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/238/15/society.zip
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/238/16/EventB-Summary.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/238/19/material.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/238/22/intro.pdf
identifier:   Hoang, Thai Son   Bucharest DEPLOY 2-day course.  [Teaching Resource]    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/238/