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