- CSB - MetaPress - Google - Bing - Yahoo
 | 1997 | |
|---|---|---|
| j3 |      | 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 | ||
| j2 | | 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) |
| c1 |  | 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 |
| 1981 | ||
| j1 | | Alan B. Hayes: Stored State Asynchronous Sequential Circuits. IEEE Trans. Computers 30(8): 596-600 (1981) |
| 1 | Tony M. Carter | |
| 2 | Al Davis (Alan L. Davis) | |
| 3 | Dan Klass | |
| 4 | Gary Lindstrom | |
| 5 | Mike P. Maloney | |
| 6 | Brent E. Nelson | |
| 7 | Elliott I. Organick | |
| 8 | Kent F. Smith |
Data released under the ODC-BY 1.0 license — See also our legal information page