Post Doc Research Partnership with NPL

Woodcock, Jim (Principal investigator)

Computer Science

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	1/04/09 → 31/03/12

Funding

EPSRC: £274,762.00

1 Article
1 Other contribution

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
Specification and Refinement of Type Interfaces in Scientific Software
Galloway, A. J., Harris, P., Woodcock, J. & Paige, R. F., 2012, (In preparation) In: Formal Aspects of Computing.
Research output: Contribution to journal › Article › peer-review