| |
| 2005 | ||
|---|---|---|
| 3 | EE | Chris Hunter, Peter Robinson, Paul A. Strooper: Agent-Based Distributed Software Verification. ACSC 2005: 159-164 |
| 2004 | ||
| 2 | EE | Chris Hunter, Peter Robinson, Paul A. Strooper: Flexible Proof Reuse for Software Verification. AMAST 2004: 211-225 |
| 2001 | ||
| 1 | EE | Chris Hunter, Paul A. Strooper: Systematically Deriving Partial Oracles for Testing Concurrent Programs. ACSC 2001: 83-91 |
| 1 | Peter Robinson | [2] [3] |
| 2 | Paul A. Strooper | [1] [2] [3] |