| 2008 |
|---|
| 6 | EE | Steve Schneider,
Helen Treharne,
Alistair McEwan,
Wilson Ifill:
Experiments in Translating CSP || B to Handel-C.
CPA 2008: 115-133 |
| 2007 |
|---|
| 5 | EE | Alistair A. McEwan,
Steve A. Schneider,
Wilson Ifill,
Peter H. Welch:
The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007
IOS Press 2007 |
| 4 | EE | Neil Evans,
Wilson Ifill:
Hardware Verification and Beyond: Using B at AWE.
B 2007: 260-261 |
| 3 | EE | Wilson Ifill,
Steve A. Schneider,
Helen Treharne:
Augmenting B with Control Annotations.
B 2007: 34-48 |
| 2 | | Wilson Ifill,
Steve Schneider:
A Step Towards Refining and Translating B Control Annotations to Handel-C.
CPA 2007: 399-424 |
| 1 | EE | Chris Nettleton,
Wilson Ifill,
Colin Marsh:
Towards a demonstrably-correct ada compiler.
SIGAda 2007: 89-96 |
