On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin.

Zheng Cheng, Dominique Mry, Rosemary Monahan

Browse the full ISoLA paper archive.