Bill Pase

According to our database, Bill Pase authored at least 6 papers between 1988 and 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1993

The EVES System.

Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels

Proceedings of the Functional Programming, 1993

An EVES Data Abstraction Example.

Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

Eves System Description.

Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink

Proceedings of the Automated Deduction, 1992

1991

EVES: An Overview.

Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink

Proceedings of the VDM '91, 1991

1988

m-EVES: A Tool for Verifying Software.

Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink

Proceedings of the Proceedings, 1988

m-NEVER System Summary.

Bill Pase, Sentot Kromodimoeljo

Proceedings of the 9th International Conference on Automated Deduction, 1988