Deborah A. Tavilla

Publication Activity (10 Years)

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

Publications

Terry C. Vickers Benzel, Deborah A. Tavilla
Trusted Software Verification: A Case Study. IEEE Symposium on Security and Privacy (1985)