Current Trends in Hardware Verification and Automated Theorem Proving

Authors: Birtwistle, Graham, Subrahmanyam, P.A.

Ask AI a Question

ASIN: 0387969888 (US)

N/A Unknown

Category: N/A (Slug: subjects/computers-technology/computer-science)

Ask a Question about "Current Trends in Hardware Verification and Automated Theorem Proving"

0 / 300