 | 2010 |
|---|
| 8 |       | Wilson Ifill,
Steve A. Schneider:
A step towards refining and translating B control annotations to Handel-C.
Concurrency and Computation: Practice and Experience 22(8): 1023-1048 (2010) |
| 2009 |
|---|
| 7 | | Helen Treharne,
Steve Schneider,
Neil Grant,
Neil Evans,
Wilson Ifill:
A Step towards Merging xUML and CSP || {\| \ }B.
Rigorous Methods for Software Construction and Analysis 2009: 130-146 |
| 2008 |
|---|
| 6 | | Steve Schneider,
Helen Treharne,
Alistair McEwan,
Wilson Ifill:
Experiments in Translating CSP || B to Handel-C.
CPA 2008: 115-133 |
| 2007 |
|---|
| 5 | | 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 | | Neil Evans,
Wilson Ifill:
Hardware Verification and Beyond: Using B at AWE.
B 2007: 260-261 |
| 3 | | 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 | | Chris Nettleton,
Wilson Ifill,
Colin Marsh:
Towards a demonstrably-correct ada compiler.
SIGAda 2007: 89-96 |
Data released under the ODC-BY 1.0 license — See also our legal information page