Bibliographic Details
| Title: |
On Program Verification. |
| Authors: |
Sayward, Frederick G.1, Ostrand, Thomas J.2, Weyuker, Elaine J.3, Polak, W.4, Karp, R. A. |
| Source: |
Communications of the ACM. Nov79, Vol. 22 Issue 11, p614-614. 1p. |
| Subjects: |
Letters to the editor, Verification (Empiricism), Operations research, Industrial engineering, Systems theory |
| Abstract: |
Several letters to the editor about the role of formal program verification, a calendar computation program, and operations research are presented. |
| Database: |
Engineering Source |
