- CSB - MetaPress - Google - Bing - Yahoo
 | 1996 | |
|---|---|---|
| 1 |      | 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 | Fiona Linn | [1] |
| 5 | Kelvin J. Ross | [1] |
| 6 | Greg Royle | [1] |
| 7 | Owen Traynor | [1] |