Verified program support environments

  • Authors:

  • William D. Young

  • Affiliations:

  • Computational Logic, Inc., 1717 West Sixth Street, Suite 290, Austin, TX

  • Venue:
  • Conference proceedings on Formal methods in software development
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract