Program Verification: Vision and Reality.
Saved in:
| Title: | Program Verification: Vision and Reality. |
|---|---|
| Authors: | Vardi, Moshe Y.1 vardi@cs.rice.edu |
| Source: | Communications of the ACM. Jul2021, Vol. 64 Issue 7, p5-5. 1p. |
| Database: | Business Source Ultimate |
Be the first to leave a comment!
