| |
| 2008 | ||
|---|---|---|
| 2 | EE | Christopher Thomson, Mike Holcombe, Tony Cowling, Tony Simons, George Michaelides: A pilot study of comparative customer comprehension between extreme x-machine and uml models. ESEM 2008: 270-272 |
| 2006 | ||
| 1 | EE | John Derrick, Siobhán North, Tony Simons: Issues in Implementing a Model Checker for Z. ICFEM 2006: 678-696 |
| 1 | Tony Cowling | [2] |
| 2 | John Derrick | [1] |
| 3 | Mike Holcombe | [2] |
| 4 | George Michaelides | [2] |
| 5 | Siobhán North | [1] |
| 6 | Christopher Thomson | [2] |