"463","Frameworks for developing Event-B modelling extensions in EMF","These Slides are intended for for plugin developers who wish to extend the Event-B notation using EMF modelling facilities. Diagrammatic editors are also supported. (Some of these slides were originally developed in the deploy project and have been extended during the Advance project)","http://deploy-eprints.ecs.soton.ac.uk/463/","Snook, Colin and Savicks, Vitaly and Fritz, Fabian and Illisaov, Alexei","UNSPECIFIED","       <span class=\"person_name\">Snook, Colin</span> and <span class=\"person_name\">Savicks, Vitaly</span> and <span class=\"person_name\">Fritz, Fabian</span> and <span class=\"person_name\">Illisaov, Alexei</span>       <a href=\"http://deploy-eprints.ecs.soton.ac.uk/463/\"><em>Frameworks for developing Event-B modelling extensions in EMF.</em></a>       None.         (Unpublished)   ","",""
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>