High integrity software development: process and tool issues

A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson. High integrity software development: process and tool issues. Microprocessors and Microsystems, 19(9):517-524, 1995. [doi]

Abstract

Abstract is missing.