VDM: origins, hopes, and achievements

  • Authors:

  • P Lucas

  • Affiliations:

  • -

  • Venue:
  • VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
  • Year:
  • 1987

Quantified Score

Hi-index 0.00

Visualization

Abstract