Showing 1 - 3 results of 3 for search 'Utting, M', query time: 0.02s Refine Results
  1. 1
    A Tactic Language for Ergo

    A Tactic Language for Ergo by Martin, A, Nickson, R, Utting, M

    Published 1997
    Conference item
  2. 2
    Improving Angel's Parallel Operator: Gumtree's Approach

    Improving Angel's Parallel Operator: Gumtree's Approach by Martin, A, Nickson, R, Utting, M

    Published 1997
    Report
  3. 3
    ZML: XML Support for Standard Z

    ZML: XML Support for Standard Z by Utting, M, Toyn, I, Sun, J, Martin, A, Dong, J, Daley, N, Currie, D

    Published 2003
    Conference item

Search Tools: