David H. Thompson

1983
3		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
2		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
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] [2] [3]
4	Susan L. Gerhart	[1] [2] [3]
5	R. L. London	[1]
6	David R. Musser	[1]
7	Daniel Schwabe	[2] [3]
8	Carl A. Sunshine	[2] [3]
9	D. G. Taylor	[1]
10	David S. Wile	[1]