creators_name: Hoang, Thai Son
creators_id: htson@inf.ethz.ch
type: teaching_resource
datestamp: 2010-07-09 14:19:59
lastmod: 2010-07-19 15:20:48
metadata_visibility: show
title: Bucharest DEPLOY 2-day course
ispublished: unpub
subjects: deploy_training_eventb
subjects: deploy_training_rodintool
full_text_status: public
citation:   Hoang, Thai Son   Bucharest DEPLOY 2-day course.  [Teaching Resource]    (Unpublished)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/238/1/car-single.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/238/4/car-handout.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/238/7/ch2_car.zip
document_url: http://deploy-eprints.ecs.soton.ac.uk/238/8/brp-slides.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/238/11/brp-handout.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/238/14/ch6_brp.zip
document_url: http://deploy-eprints.ecs.soton.ac.uk/238/15/society.zip
document_url: http://deploy-eprints.ecs.soton.ac.uk/238/16/EventB-Summary.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/238/19/material.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/238/22/intro.pdf