| |
| 2007 | ||
|---|---|---|
| 3 | EE | Neil Evans, Wilson Ifill: Hardware Verification and Beyond: Using B at AWE. B 2007: 260-261 |
| 2 | EE | Wilson Ifill, Steve A. Schneider, Helen Treharne: Augmenting B with Control Annotations. B 2007: 34-48 |
| 1 | EE | Chris Nettleton, Wilson Ifill, Colin Marsh: Towards a demonstrably-correct ada compiler. SIGAda 2007: 89-96 |
| 1 | Neil Evans | [3] |
| 2 | Colin Marsh | [1] |
| 3 | Chris Nettleton | [1] |
| 4 | Steve A. Schneider (Steve Schneider) | [2] |
| 5 | Helen Treharne | [2] |