title: Rodin Tutorial
creator: Abrial, Jean-Raymond
subject: Rodin tool
subject: Event-B Examples
date: 2007
type: Teaching Resource
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/10/1/tutorials-2007-10-26.pdf
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/10/2/Celebrity-2007-10-26.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/10/3/Doors-2007-10-26.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/10/4/Galois-2007-10-26.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/10/5/Closure-2007-10-26.zip
identifier:   Abrial, Jean-Raymond  (2007) Rodin Tutorial.  [Teaching Resource]    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/10/

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