| |
| 1996 | ||
|---|---|---|
| 1 | EE | Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor: Formal Methods Pilot Project. APSEC 1996: 238-245 |
| 1 | Tracey Hart | [1] |
| 2 | Peter Kearney | [1] |
| 3 | Peter A. Lindsay | [1] |
| 4 | Roberto Morello | [1] |
| 5 | Kelvin J. Ross | [1] |
| 6 | Greg Royle | [1] |
| 7 | Owen Traynor | [1] |