creators_name: Hallerstede, Stefan
creators_id: sth@ecs.soton.ac.uk
type: rodin_archive
datestamp: 2010-06-11 09:41:39
lastmod: 2010-06-11 09:41:39
metadata_visibility: show
title: Structured Event-B Models and Proofs
subjects: deploy_method_comp
subjects: theory
full_text_status: public
abstract: For details about this Rodin Model see 
Hallerstede: Structured Event-B Models and Proofs
Published in ABZ 2010, 2010, LNCS, Springer-Verlag
citation:   Hallerstede, Stefan   Structured Event-B Models and Proofs.  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/229/1/gcd.zip