Chris Hunter

According to our database, Chris Hunter authored at least 5 papers between 2001 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

An integrated approach to customer elicitation for the aerospace sector.

Marin D. Guenov, Stephen G. Barker, Chris Hunter, Ian Horsfield, Neil Coleridge-Smith

Syst. Eng., 2006

2005

Agent-based proof support for interactive theorem proving

Chris Hunter

PhD thesis, 2005

Agent-Based Distributed Software Verification.

Chris Hunter, Peter J. Robinson, Paul A. Strooper

Proceedings of the Computer Science 2005, 2005

2004

Flexible Proof Reuse for Software Verification.

Chris Hunter, Peter J. Robinson, Paul A. Strooper

Proceedings of the Algebraic Methodology and Software Technology, 2004

2001

Systematically Deriving Partial Oracles for Testing Concurrent Programs.

Chris Hunter, Paul A. Strooper

Proceedings of the 24th Australasian Computer Science Conference (ACSC 2001), 29 January, 2001