Olszewska, Marta and Sere, Kaisa  (2010) Towards Event-B Specification Metrics.  In: First Deploy Technical Workshop, 21-23 October 2009, Aix-en-Provence, France.     

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