Bill Pase

Publication Activity (10 Years)

Years Active: 1988-1993
Publications (10 Years): 0

Publications

Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels
An EVES Data Abstraction Example. FME (1993)
Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels
The EVES System. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink
Eves System Description. CADE (1992)
Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink
EVES: An Overview. VDM Europe (1) (1991)
Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink
m-EVES: A Tool for Verifying Software. ICSE (1988)
Bill Pase, Sentot Kromodimoeljo
m-NEVER System Summary. CADE (1988)