Melissa Smartt

According to our database, Melissa Smartt authored at least 1 paper in 1979.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1979

Assertional checking and symbolic execution: An effective combination for debugging.

J. Mack Adams, James Armstrong, Melissa Smartt

Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979., 1979