![]() | ![]() |
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] |