Diaconescu, Denisa and Leustean, Ioana and Petre, Luigia and Sere, Kaisa and Stefanescu, Gheorghe  (2012) Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems.  In: 9th International Conference on Integrated Formal Methods (iFM'12), June 19-21, 2012, Pisa.    (In Press)  

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