title: Mathematical Extension in Event-B through the Rodin Theory Component 
creator: Butler, Michael
creator: Maamria, Issam
subject: Provers
subject: Event-B Theory
publisher: Deploy Project
date: 2010-06-08
type: Monograph
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/251/1/MathExtnSummary.pdf
identifier:   Butler, Michael and Maamria, Issam  (2010) Mathematical Extension in Event-B through the Rodin Theory Component.  Technical Report. Deploy Project.    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/251/