Dominique Méry, Rosemary Monahan. Transforming Event B Models into Verified C# Implementations. In Alexei Lisitsa, Andrei P. Nemytykh, editors, First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013. Volume 16 of EPiC Series, pages 57-73, EasyChair, 2013. [doi]
Abstract is missing.