Michael K. Smith

According to our database, Michael K. Smith authored at least 3 papers between 1981 and 1994.

Collaborative distances:

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

1994

Formal Methods Fact vs. Fiction.

C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael K. Smith

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

1985

Gypsy verification environment: status.

Michael K. Smith, Richard M. Cohen

ACM SIGSOFT Softw. Eng. Notes, 1985

1981

A verified encrypted packet interface.

Michael K. Smith, Ann E. Siebert, Benedetto L. DiVito, Donald I. Good

ACM SIGSOFT Softw. Eng. Notes, 1981