"39","Linking Event-B and Concurrent Object-Oriented Programs ","","http://deploy-eprints.ecs.soton.ac.uk/39/","Edmunds, Andrew and Butler, Michael","UNSPECIFIED","       <span class=\"person_name\">Edmunds, Andrew</span> and <span class=\"person_name\">Butler, Michael</span>     (2008)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/39/\"><em>Linking Event-B and Concurrent Object-Oriented Programs.</em></a>       In: Refine 2008 - International Refinement Workshop.           ","","2008-05"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>