Specification and Refinement of Type Interfaces in Scientific Software

Andrew J Galloway, Peter Harris, Jim Woodcock, Richard Freeman Paige

Computer Science

Research output: Contribution to journal › Article › peer-review

1 results

Finished

Post Doc Research Partnership with NPL
Woodcock, J.
EPSRC
1/04/09 → 31/03/12
Project: Research project (funded) › Research