Andrew J Galloway

Filter

2012

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
2007

Integrating safety and formal analyses using UML and PFS
Iwu, F., Galloway, A., McDermid, J. & Toyn, I., Feb 2007, In: Reliability Engineering and System Safety. 92, 2, p. 156-170 15 p.
Research output: Contribution to journal › Article › peer-review
1999

Undefined expressions and logic in Z and B
Stoddart, B., Dunne, S. & Galloway, A., Nov 1999, In: Formal Methods in System Design. 15, 3, p. 201-215 15 p.
Research output: Contribution to journal › Article › peer-review

Research output