Bill Pase
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1988–1993
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | FM | An EVES Data Abstraction Example. | Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels |
| 1992 | CADE | Eves System Description. | Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink |
| 1991 | FM | EVES: An Overview. | Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink |
| 1988 | CADE | m-NEVER System Summary. | Bill Pase, Sentot Kromodimoeljo |
| 1988 | ICSE | m-EVES: A Tool for Verifying Software. | Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink |