- CSB - MetaPress - Google - Bing - Yahoo
 | 1988 | |
|---|---|---|
| 1 |      | Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, A. Neilson, Bill Pase, Mark Saaltink: m-EVES: A Tool for Verifying Software. ICSE 1988: 324-333 |
| 1 | Dan Craigen | [1] |
| 2 | Sentot Kromodimoeljo | [1] |
| 3 | Irwin Meisels | [1] |
| 4 | Bill Pase | [1] |
| 5 | Mark Saaltink | [1] |