| |
| 2005 | ||
|---|---|---|
| 2 | EE | Alex Blewitt, Alan Bundy, Ian Stark: Automatic verification of design patterns in Java. ASE 2005: 224-232 |
| 2001 | ||
| 1 | EE | Alex Blewitt, Alan Bundy, Ian Stark: Automatic Verification of Java Design Patterns. ASE 2001: 324-327 |
| 1 | Alan Bundy | [1] [2] |
| 2 | Ian Stark | [1] [2] |