Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems.

Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu

Browse the full IFM paper archive.