Mark K. Smith

According to our database, Mark K. Smith authored at least 2 papers between 1978 and 1981.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1981

An approach to transfer verification and validation technology.

Mark K. Smith, Leonard L. Tripp, Leon J. Osterweil, Richard N. Taylor, William E. Howden

Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1978

A system for analysis and verification of software design.

Linda S. Hammond, Daniel L. Murphy, Mark K. Smith

Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978