MURAL - Maynooth University Research Archive Library



    404 File not Found


    Could not find the file: /13389/eprint_fieldname_related_url

    The file you are trying to access may be related to this item:

    Farrell, Marie and Monahan, Rosemary and Power, James F. and Fisher, Michael (2018) An Approach to Combining the Institutions for Event-B and Temporal Logic. In: 24th International Workshop on Algebraic Development Technique, July 2018, Royal Holloway, University of London.

    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.