| 1998 |
|---|
| 10 | EE | Steve Michell,
Mark Saaltink:
Guidance on the Use of Ada95 in High Integrity Systems.
Ada-Europe 1998: 276-287 |
| 9 | EE | Stephen Michell,
Mark Saaltink,
Brian A. Wichmann:
Looking into Safety with the Safety and Security Rapporteur Group.
SIGAda 1998: 7-11 |
| 1997 |
|---|
| 8 | | Mark Saaltink:
The Z/EVES System.
ZUM 1997: 72-85 |
| 1996 |
|---|
| 7 | | Dan Craigen,
Mark Saaltink,
Steve Michell:
Ada 95 and Critical Systems: An Analytical Approach.
Ada-Europe 1996: 171-182 |
| 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 |
| 2 | | Mark Saaltink:
Z and Eves.
Z User Workshop 1991: 223-242 |
| 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 |
