Andrew J Galloway

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
Model-Checking the Linux Virtual File System
Galloway, A., Luettgen, G., Muehlberg, J. T. & Siminiceanu, R. I., 2009, VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION. Jones, ND. & MullerOlm, M. (eds.). BERLIN: Springer, Vol. 5403 LNCS. p. 74-88 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Research output