Limitations of Formal Methods and an Approach to Improvement

  • Authors:

  • S. Liu;R. Adams

  • Affiliations:

  • -;-

  • Venue:
  • APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract