title: Structured Event-B Models and Proofs
creator: Hallerstede, Stefan
subject: Composition and reuse
subject: Event-B Theory
description: For details about this Rodin Model see   Hallerstede: Structured Event-B Models and Proofs  Published in ABZ 2010, 2010, LNCS, Springer-Verlag
type: Rodin Archive
type: NonPeerReviewed
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/229/1/gcd.zip
identifier:   Hallerstede, Stefan   Structured Event-B Models and Proofs.  [Rodin Archive]     
relation: http://deploy-eprints.ecs.soton.ac.uk/229/