Automated support for set-theoretic specifications

  • Authors:
  • John Andrew Van Der Poll;P. Kotze;W. A. Labuschagne

  • Affiliations:
  • -;-;-

  • Venue:
  • Automated support for set-theoretic specifications
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract