Transforming Event B Models into Verified C# Implementations.

Dominique Mry, Rosemary Monahan

Browse the full CAV paper archive.