Verify: A program for proving correctness of digital hardware designs
Year: 1984
Type: article
Source: Artificial Intelligence
Author: Harry G. Barrow
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2014393101