Dan Klass

Publication Activity (10 Years)

Years Active: 1984-1984
Publications (10 Years): 0

Publications

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)