title: Tutorial: a Practical Introduction to using Event-B for Complex �Hardware and Embedded System Specification and Design 
creator: Colley, John
subject: ADVANCE Project
subject: Training
date: 2012-09
type: Teaching Resource
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/457/1/FDLtutorial03.pdf
identifier:   Colley, John  (2012) Tutorial: a Practical Introduction to using Event-B for Complex �Hardware and Embedded System Specification and Design.  [Teaching Resource]    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/457/

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