Lawrence M. Smith

Publication Activity (10 Years)

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

Publications

Richard L. Ford, William R. Bevier, Richard T. Simon, Lawrence M. Smith
The Specification-Based Testing of a Trusted Kernel: MK++. ICFEM (1997)