Search research publications and outputs

  1. Article › Research › Not peer-reviewed
  2. Editorial

    Jones, C. B. & Woodcock, J., 2008

    Article in Formal Asp. Comput.

  3. Editorial

    Paige, R. F., Brooke, P. J., Dong, J. S. & Woodcock, J. C. P., 2009

    Article in Formal Asp. Comput.

  4. Editorial

    Kroening, D., Margaria, T. & Woodcock, J., 2011

    Article in Formal Asp. Comput.

  5. Article › Research › Peer-reviewed
  6. A Demonstrably Correct Compiler

    Stepney, S., Whitely, D., Cooper, D. & Grant, C., 1991

    Article in Formal Asp. Comput.

  7. A Mössbauer investigation of advanced magnetic recording media

    Walton, S. A., Dickson, D. P. E., O'Grady, K. & Mayo, P. I., 1998

    Article in Hyperfine Interactions

Previous 1 2 3 4 5 6 7 8 ...35 Next