| |
| 2004 | ||
|---|---|---|
| 3 | EE | Daniel Powell: Automatic Derivation of Loop Termination Conditions to Support Verification. ACSC 2004: 89-97 |
| 2 | EE | Daniel Powell: Tool Support for Verification-Based Software Inspection. Australian Software Engineering Conference 2004: 232-240 |
| 2002 | ||
| 1 | EE | Daniel Powell: Deriving Verification Conditions and Program Assertions to Support Software Inspection. APSEC 2002: 447-456 |