R. H. Hoffman

Publication Activity (10 Years)

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

Publications

R. H. Hoffman, R. W. Smith
Applied Techniques for Testing Distributed Data Processing Software. RTSS (1980)
John R. Brown, R. H. Hoffman
Evaluating the effectiveness of software verification: pratical experience with an automated tool. AFIPS Fall Joint Computing Conference (1) (1972)