Ada abstraction, generation, verification

  • Authors:
  • Jonathan A. Turner;Thomas L. Hill

  • Affiliations:
  • EDS Research and Development, Dallas, Texas;EDS Research and Development, Dallas, Texas

  • Venue:
  • TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
  • Year:
  • 1993

Quantified Score

Hi-index 0.00

Visualization

Abstract