Alan B. Hayes

	1997
4		Alan B. Hayes: Object-Oriented Software Testing: A Hierarchical Approach, by Shel Siegel, Wiley, 1996 (Book Reviews). Softw. Test., Verif. Reliab. 7(1): 60-61 (1997)
	1984
3		Tony M. Carter, Alan L. Davis, Alan B. Hayes, Gary Lindstrom, Dan Klass, Mike P. Maloney, Brent E. Nelson, Elliott I. Organick, Kent F. Smith: Transforming an Ada Program Unit to Silicon and Testing It in an Ada Environment. COMPCON 1984: 448-455
2		Elliott I. Organick, Tony M. Carter, Mike P. Maloney, Alan L. Davis, Alan B. Hayes, Dan Klass, Gary Lindstrom, Brent E. Nelson, Kent F. Smith: Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment. IEEE Software 1(1): 31-49 (1984)
	1981
1		Alan B. Hayes: Stored State Asynchronous Sequential Circuits. IEEE Trans. Computers 30(8): 596-600 (1981)

Coauthor Index

1	Tony M. Carter	[2] [3]
2	Al Davis (Alan L. Davis)	[2] [3]
3	Dan Klass	[2] [3]
4	Gary Lindstrom	[2] [3]
5	Mike P. Maloney	[2] [3]
6	Brent E. Nelson	[2] [3]
7	Elliott I. Organick	[2] [3]
8	Kent F. Smith	[2] [3]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page