Mark K. Smith

Publication Activity (10 Years)

Years Active: 1978-1981
Publications (10 Years): 0

Publications

Mark K. Smith, Leonard L. Tripp, Leon J. Osterweil, Richard N. Taylor, William E. Howden
An approach to transfer verification and validation technology. AFIPS National Computer Conference (1981)
Linda S. Hammond, Daniel L. Murphy, Mark K. Smith
A system for analysis and verification of software design. COMPSAC (1978)