A generalized interval package and its use for semantic checking

  • Authors:

  • Alan Bundy

  • Affiliations:

  • Univ. of Edinburgh, Edinburgh, UK

  • Venue:
  • ACM Transactions on Mathematical Software (TOMS)
  • Year:
  • 1984

Quantified Score

Hi-index 0.00

Visualization

Abstract