Alan B. Hayes

Publication Activity (10 Years)

Years Active: 1981-1997
Publications (10 Years): 0

Publications

Alan B. Hayes
Object-Oriented Software Testing: A Hierarchical Approach, by Shel Siegel, Wiley, 1996 (Book Reviews). Softw. Test. Verification Reliab. 7 (1) (1997)
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 Softw. 1 (1) (1984)
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)
Alan B. Hayes
Stored State Asynchronous Sequential Circuits. IEEE Trans. Computers 30 (8) (1981)