Mike P. Maloney

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)

Coauthor Index

1	Tony M. Carter	[1] [2]
2	Alan L. Davis	[1] [2]
3	Alan B. Hayes	[1] [2]
4	Dan Klass	[1] [2]
5	Gary Lindstrom	[1] [2]
6	Brent E. Nelson	[1] [2]
7	Elliott I. Organick	[1] [2]
8	Kent F. Smith	[1] [2]