"FORMAL TECHNIQUE AND TOOLS FOR SOFTWARE HEALTH MANAGEMENT" SOFTWARE HAS BEEN DIRECTLY RESPONSIBLE FOR SEVERAL SERIOUS INCIDENTS. THESE INCLUDE THE F

Sri International, Menlo Park CA

Investigators