Adding relational abstraction to programming languages

  • Authors:
  • David S. Wile

  • Affiliations:
  • USC/Information Sciences Institute, 4676 Admiralty Way, Marina de1 Rey, CA

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

Quantified Score

Hi-index 0.00

Visualization

Abstract