ACM DL

Computing Surveys (CSUR)

Menu

Search Issue
enter search term and/or author name below:

Archive


ACM Computing Surveys (CSUR), Volume 8 Issue 3, Sept. 1976

Guest Editorial…
Raymond T. Yeh
Pages: 301-303
DOI: 10.1145/356674.356675

Data Flow Analysis in Software Reliability
Lloyd D. Fosdick, Leon J. Osterweil
Pages: 305-330
DOI: 10.1145/356674.356676

An Introduction to Proving the Correctness of Programs
Sidney L. Hantler, James C. King
Pages: 331-353
DOI: 10.1145/356674.356677