View in EDS PDF Full Text

Program Verification: Vision and Reality.

Saved in:
Bibliographic Details
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
Description
ISSN:00010782
DOI:10.1145/3469113