%A Michael Butler
%A Issam Maamria
%T Mathematical Extension in Event-B through the Rodin Theory Component 
%D 2010
%I Deploy Project
%L deploy251

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>