D. G. Taylor

1980
1		Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, R. L. London, D. G. Taylor, David S. Wile: An Overview of AFFIRM: A Specification and Verification System. IFIP Congress 1980: 343-347

Coauthor Index

1	D. A. Baker	[1]
2	R. L. Bates	[1]
3	Roddy W. Erickson	[1]
4	Susan L. Gerhart	[1]
5	R. L. London	[1]
6	David R. Musser	[1]
7	David H. Thompson	[1]
8	David S. Wile	[1]