Formal Development with ABEL

  • Authors:

  • Ole-Johan Dahl;Olaf Owe

  • Affiliations:

  • -;-

  • Venue:
  • VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
  • Year:
  • 1991

Quantified Score

Hi-index 0.01

Visualization

Abstract