Could not find the file: /15584/eprint_fieldname_related_url
The file you are trying to access may be related to this item:
Cheng, Zheng and Mery, Dominique and Monahan, Rosemary (2016) On Two Friends for Getting Correct Programs Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. Lecture Notes in Computer Science. pp. 821-838. ISSN 0302-9743
If you reached this page by following a link within the repository, please contact the MURAL - Maynooth University Research Archive Library administration. Otherwise, please check that you have typed the URL in correctly, or contact the person or site that supplied you with this URL.