| |
| 2006 | ||
|---|---|---|
| 2 | EE | Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes: An Integrated Approach to High Integrity Software Verification. J. Autom. Reasoning 36(4): 379-410 (2006) |
| 1987 | ||
| 1 | EE | Janet Barnes: A user perspective on computer-assisted translation for minority languages. Machine Translation 2(2-3): 131-134 (1987) |
| 1 | Roderick Chapman | [2] |
| 2 | Andrew Cook | [2] |
| 3 | Bill J. Ellis | [2] |
| 4 | Andrew Ireland | [2] |