| |
| * | 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] |