Data Flow Analysis in Software Reliability (1976)

by L Fosdick, D, L J Osterweil
Venue:Computing Survey g