title: Deliverable D8 D10.1 "Teaching Materials" --- Summary Materials
creator: Abrial, Jean-Raymond
creator: Hoang, Thai Son
creator: Schmalz, Matthias
subject: Rodin tool
subject: Event-B Theory
subject: Event-B
subject: Event-B Examples
date: 2008-04
type: DEPLOY Deliverable
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/53/1/sld_evtb.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/53/2/sld_mth1.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/53/3/sld_po.pdf
identifier:   Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias  (2008) Deliverable D8 D10.1 "Teaching Materials" --- Summary Materials.  [DEPLOY Deliverable]     
relation: http://deploy-eprints.ecs.soton.ac.uk/53/