David G. Von Bank

Publication Activity (10 Years)

Years Active: 1994-1994
Publications (10 Years): 0

Publications

David G. Von Bank, Charles M. Shub, Robert W. Sebesta
A Unified Model of Pointwise Equivalence of Procedural Computations. ACM Trans. Program. Lang. Syst. 16 (6) (1994)