F. S. Taylor

Publication Activity (10 Years)

Years Active: 2000-2002
Publications (10 Years): 0

Publications

W. B. Martin, P. D. White, F. S. Taylor
Creating High Confidence in a Separation Kernel. Autom. Softw. Eng. 9 (3) (2002)
W. Martin, P. White, F. S. Taylor, A. Goldberg
Formal Construction of the Mathematically Analyzed Separation Kernel. ASE (2000)