Low-cost pathways towards formal methods use

  • Authors:
  • Martin S. Feather

  • Affiliations:
  • Jet Propulsion Laboratory, California Institute of Technology, 4800 Oak Grove Drive, MS 125-233, Pasadena CA

  • Venue:
  • FMSP '98 Proceedings of the second workshop on Formal methods in software practice
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract