Jeffrey L. Facemire

Publication Activity (10 Years)

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

Publications

Timothy E. Lindquist, Jeffrey L. Facemire
Ada-based abstract machine specification of CAIS to generate validation tests. WADAS (1985)