Fosdick, Lloyd D.; Osterweil, Leon J. Data flow analysis in software reliability. (English) Zbl 0359.68022 Comput. Surv. 8, 305-330 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 Documents MSC: 68N01 General topics in the theory of software Software:Algorithm 447 PDFBibTeX XMLCite \textit{L. D. Fosdick} and \textit{L. J. Osterweil}, Comput. Surv. 8, 305--330 (1976; Zbl 0359.68022)