Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment.
Elliott I. OrganickTony M. CarterMike P. MaloneyAlan L. DavisAlan B. HayesDan KlassGary LindstromBrent E. NelsonKent F. SmithPublished in: IEEE Softw. (1984)