Specware

  • Authors:

  • Jim McDonald

  • Affiliations:

  • Kestrel Institute

  • Venue:
  • ACM SIGSOFT Software Engineering Notes
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract