Specification and Refinement of Type Interfaces in Scientific Software

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

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

Cite this

@article{1df955c8f7b14663add1073f1ae66099,

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",

language = "English",

journal = "Formal Aspects of Computing",

issn = "1433-299X",

publisher = "Springer",

}