| 1993 |
|---|
| 6 | | Mark Saaltink,
Sentot Kromodimoeljo,
Bill Pase,
Dan Craigen,
Irwin Meisels:
An EVES Data Abstraction Example.
FME 1993: 578-596 |
| 5 | | Sentot Kromodimoeljo,
Bill Pase,
Mark Saaltink,
Dan Craigen,
Irwin Meisels:
The EVES System.
Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 349-373 |
| 1992 |
|---|
| 4 | | Dan Craigen,
Sentot Kromodimoeljo,
Irwin Meisels,
Bill Pase,
Mark Saaltink:
Eves System Description.
CADE 1992: 771-775 |
| 1991 |
|---|
| 3 | | Dan Craigen,
Sentot Kromodimoeljo,
Irwin Meisels,
Bill Pase,
Mark Saaltink:
EVES: An Overview.
VDM Europe (1) 1991: 389-405 |
| 1988 |
|---|
| 2 | | Bill Pase,
Sentot Kromodimoeljo:
m-NEVER System Summary.
CADE 1988: 738-739 |
| 1 | | Dan Craigen,
Sentot Kromodimoeljo,
Irwin Meisels,
A. Neilson,
Bill Pase,
Mark Saaltink:
m-EVES: A Tool for Verifying Software.
ICSE 1988: 324-333 |
