The B Tool (Abstract)

  • Authors:

  • Jean-Raymond Abrial

  • Affiliations:

  • -

  • Venue:
  • VDM '88 Proceedings of the Europe Symposium on VDM - The Way Ahead
  • Year:
  • 1988

Quantified Score

Hi-index 0.00

Visualization

Abstract