F. S. Taylor

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

Coauthor Index

1	A. Goldberg	[1]
2	W. Martin	[1]
3	W. B. Martin	[2]
4	P. White	[1]
5	P. D. White	[2]

Colors in the list of coauthors