Michael K. Smith

Publication Activity (10 Years)

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

Publications

C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael K. Smith
Formal Methods Fact vs. Fiction. TRI-Ada (1994)
Michael K. Smith, Richard M. Cohen
Gypsy verification environment: status. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Michael K. Smith, Ann E. Siebert, Benedetto L. DiVito, Donald I. Good
A verified encrypted packet interface. ACM SIGSOFT Softw. Eng. Notes 6 (3) (1981)