Roddy W. Erickson

	1984
5		David Casey, Roddy W. Erickson: Practical Tools for Software Test Certification. COMPCON 1984: 87-90
	1983
4		Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe: Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models". IEEE Trans. Software Eng. 9(1): 113 (1983)
	1982
3		Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe: Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models. IEEE Trans. Software Eng. 8(5): 460-489 (1982)
	1980
2		Roddy W. Erickson, David R. Musser: The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs. CADE 1980: 220-231
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	David Casey	[5]
4	Susan L. Gerhart	[1] [3] [4]
5	R. L. London	[1]
6	David R. Musser	[1] [2]
7	Daniel Schwabe	[3] [4]
8	Carl A. Sunshine	[3] [4]
9	D. G. Taylor	[1]
10	David H. Thompson	[1] [3] [4]
11	David S. Wile	[1]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page