"216","Proposals for Mathematical Extensions for Event-B","","http://deploy-eprints.ecs.soton.ac.uk/216/","Abrial, Jean-Raymond and Butler, Michael and Hallerstede, Stefan and Leuschel, Michael and Schmalz, Matthias and Voisin, Laurent","UNSPECIFIED","       <span class=\"person_name\">Abrial, Jean-Raymond</span> and <span class=\"person_name\">Butler, Michael</span> and <span class=\"person_name\">Hallerstede, Stefan</span> and <span class=\"person_name\">Leuschel, Michael</span> and <span class=\"person_name\">Schmalz, Matthias</span> and <span class=\"person_name\">Voisin, Laurent</span>       <a href=\"http://deploy-eprints.ecs.soton.ac.uk/216/\"><em>Proposals for Mathematical Extensions for Event-B.</em></a>       Technical Report.        .         (Unpublished)   ","jabrial@inf.ethz.ch,mjb@ecs.soton.ac.uk,sth@ecs.soton.ac.uk,leuschel@cs.uni-duesseldorf.de,matthias.schmalz@inf.ethz.ch,",""
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>