R. L. Bates

	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	Roddy W. Erickson	[1]
3	Susan L. Gerhart	[1]
4	R. L. London	[1]
5	David R. Musser	[1]
6	D. G. Taylor	[1]
7	David H. Thompson	[1]
8	David S. Wile	[1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page