Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 2 out of 2Page size: 25
Sort by: Type
  1. Article › Research › Peer-reviewed

  2. Specification and Refinement of Type Interfaces in Scientific Software

    Galloway, A. J., Harris, P., Woodcock, J. & Paige, R. F., 2012, (In preparation)

    Article in Formal Asp. Comput.

  3. Doctoral Thesis › Research

  4. Using Estimation of Distribution Algorithms to Detect Concurrent Faults

    Staunton, J. P., 2012, (In preparation)

    Research output: Thesis › Doctoral Thesis