MURAL - Maynooth University Research Archive Library



    Items where Author is "Carter, Gareth"


    Group by: Item Type | Date | No Grouping
    Number of items: 3.

    Book Section

    Carter, Gareth, 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 Mon Dec 23 01:08:31 2024 UTC.