| 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) |
