Data Flow Analysis in Software Reliability (1976)

by L D Fosdick, L J Osterweil
Venue:ACM Computing Surveys