title: Rodin Manual and Language Definition
creator: Abrial, Jean-Raymond
creator: Metayer, Christophe
creator: Voisin, Laurent
subject: Rodin tool
subject: Event-B
publisher: RODIN Project
date: 2009
type: Monograph
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/11/1/manual-2.3.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/11/2/mathLanguage-2007-10-26.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/11/3/notation-1.5.pdf
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/11/4/kernel_lang.pdf
identifier:   Abrial, Jean-Raymond and Metayer, Christophe and Voisin, Laurent  (2009) Rodin Manual and Language Definition.  Manual. RODIN Project.    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/11/

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