1984 | ||
---|---|---|
2 | 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 | |
1 | 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) |
1 | Tony M. Carter | [1] [2] |
2 | Alan L. Davis | [1] [2] |
3 | Alan B. Hayes | [1] [2] |
4 | Gary Lindstrom | [1] [2] |
5 | Mike P. Maloney | [1] [2] |
6 | Brent E. Nelson | [1] [2] |
7 | Elliott I. Organick | [1] [2] |
8 | Kent F. Smith | [1] [2] |