Using Formal Methods to Construct a Software Component Library

  • Authors:
  • Jun-Jang Jeng;Betty H. C. Cheng

  • Affiliations:
  • -;-

  • Venue:
  • ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
  • Year:
  • 1993

Quantified Score

Hi-index 0.00

Visualization

Abstract