Melissa Smartt

Publication Activity (10 Years)

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

Publications

J. Mack Adams, James Armstrong, Melissa Smartt
Assertional checking and symbolic execution: An effective combination for debugging. ACM Annual Conference (1979)