| 2008 | ||
|---|---|---|
| 2 | 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 | 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] |