"229","Structured Event-B Models and Proofs","For details about this Rodin Model see   Hallerstede: Structured Event-B Models and Proofs  Published in ABZ 2010, 2010, LNCS, Springer-Verlag","http://deploy-eprints.ecs.soton.ac.uk/229/","Hallerstede, Stefan","UNSPECIFIED","       <span class=\"person_name\">Hallerstede, Stefan</span>       <a href=\"http://deploy-eprints.ecs.soton.ac.uk/229/\"><em>Structured Event-B Models and Proofs.</em></a>       [Rodin Archive]           ","sth@ecs.soton.ac.uk",""
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>