MURAL - Maynooth University Research Archive Library



    Items where Author is "Carter, Gareth"


    Up a level
    Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
    Group by: Item Type | No Grouping
    Number of items: 3.

    Book Section

    Carter, Gareth and Monahan, Rosemary and Morris, Joseph M. (2005) Software Refinement with Perfect Developer. In: Third IEEE International Conference on Software Engineering and Formal Methods, 2005 (SEFM 2005). IEEE, pp. 363-372. ISBN 0769524354

    Monograph

    Carter, Gareth and Monahan, Rosemary (2005) Introducing the Perfect Language. Department of Computer Science, Technical Report Series. NUIM-CS-TR-2005-06. Technical Report. National University of Ireland Maynooth.

    Carter, Gareth and Monahan, Rosemary (2005) Software Specification, Implementation and Execution with Perfect. Department of Computer Science, Technical Report Series. NUIM-CS-TR-2005-07. Technical Report. National University of Ireland Maynooth.

    This list was generated on Wed Sep 18 22:04:31 2019 UTC.