System validation via constraint modeling

  • Authors:

  • Richard C. Waters

  • Affiliations:

  • MIT AI Laboratory, 545 Technology Square, Cambridge MA

  • Venue:
  • ACM SIGPLAN Notices
  • Year:
  • 1991

Quantified Score

Hi-index 0.01

Visualization

Abstract