creators_name: Butler, Michael
creators_name: Maamria, Issam
creators_id: mjb@ecs.soton.ac.uk
type: monograph
datestamp: 2010-10-27 13:00:06
lastmod: 2010-10-27 13:00:06
metadata_visibility: show
title: Mathematical Extension in Event-B through the Rodin Theory Component 
ispublished: unpub
subjects: Proof
subjects: theory
full_text_status: public
monograph_type: technical_report
date: 2010-06-08
publisher: Deploy Project
citation:   Butler, Michael and Maamria, Issam  (2010) Mathematical Extension in Event-B through the Rodin Theory Component.  Technical Report. Deploy Project.    (Unpublished)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/251/1/MathExtnSummary.pdf