Specification and Refinement of Type Interfaces in Scientific Software

Research output: Other contribution

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

Cite this

@misc{932c78fd94cd4c09a8ab94a80dd3f100,

title = "Specification and Refinement of Type Interfaces in Scientific Software",

author = "Galloway, {Andrew J} and Peter Harris and Jim Woodcock and Paige, {Richard Freeman}",

year = "2012",

month = jun,

language = "English",

publisher = "University of York",

address = "United Kingdom",

edition = "YCS-2012-474",

type = "Other",

}