title: Rodin User and Developer Workshop 2009 - Extended Abstracts
creator: Butler, Michael
creator: Hallerstede, Stefan
creator: Voisin, Laurent
subject: Tool developments
subject: Event-B Examples
publisher: DEPLOY Project
date: 2009-07
type: Monograph
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/137/1/proceedings.pdf
identifier:   Butler, Michael and Hallerstede, Stefan and Voisin, Laurent  (2009) Rodin User and Developer Workshop 2009 - Extended Abstracts.  Technical Report. DEPLOY Project.    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/137/

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