Chris Hunter

Publication Activity (10 Years)

Years Active: 2001-2006
Publications (10 Years): 0

Publications

Marin D. Guenov, Stephen G. Barker, Chris Hunter, Ian Horsfield, Neil Coleridge-Smith
An integrated approach to customer elicitation for the aerospace sector. Syst. Eng. 9 (1) (2006)
Chris Hunter, Peter J. Robinson, Paul A. Strooper
Agent-Based Distributed Software Verification. ACSC (2005)
Chris Hunter, Peter J. Robinson, Paul A. Strooper
Flexible Proof Reuse for Software Verification. AMAST (2004)
Chris Hunter, Paul A. Strooper
Systematically Deriving Partial Oracles for Testing Concurrent Programs. ACSC (2001)