D. G. Taylor

Publication Activity (10 Years)

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

Publications

Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, Ralph L. London, D. G. Taylor, David S. Wile
An Overview of AFFIRM: A Specification and Verification System. IFIP Congress (1980)