William J. Pervin

Publication Activity (10 Years)

Years Active: 1987-1991
Publications (10 Years): 0

Publications

Elizabeth B. Weidman, Ivor P. Page, William J. Pervin
Explicit dynamic exclusion algorithm. SPDP (1991)
William J. Pervin
Verification of Ada 1/0 statements. ACM SIGCSE Bull. 21 (2) (1989)
William J. Pervin
Inference rules for multivalued dependencies. ACM SIGCSE Bull. 19 (3) (1987)