ask others

John H. Reif

◀ ▶ joint publications with William L. Scherlis

> Home > Persons > John H. Reif
> Home > Persons > William L. Scherlis

Publications

2003
[c115]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/ReifS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/ReifS03
John H. Reif, William L. Scherlis:
Deriving Effcient Graph Algorithms. Verification: Theory and Practice 2003: 645-681
1983
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lop/ReifS83
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lop/ReifS83
John H. Reif, William L. Scherlis:
Deriving Efficient Graph Algorithms (Summary). Logic of Programs 1983: 421-441

maintained by

at