On Program Verification.
Saved in:
| 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 |
Be the first to leave a comment!
