Andrew J Galloway

Search results

• 2012

  Specification and Refinement of Type Interfaces in Scientific Software

  Galloway, A. J., Harris, P., Woodcock, J. & Paige, R. F., Jun 2012, University of York.

  Research output: Other contribution