title: Deliverable D8 D10.1 "Teaching Materials" --- Rodin Platform Archives
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/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/56/1/brp.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/56/2/car.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/56/3/family_sol.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/56/4/maximum.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/56/5/mini_doors.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/56/6/pattern_poor.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/56/7/pattern_rich.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/56/8/press.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/56/9/proof_obligations.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/56/10/search.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/56/11/search_backward.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/56/12/search_proved.zip
identifier:   Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias  (2008) Deliverable D8 D10.1 "Teaching Materials" --- Rodin Platform Archives.  [DEPLOY Deliverable]     
relation: http://deploy-eprints.ecs.soton.ac.uk/56/

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