The notion of proof in hardware verification (0)

by Avra Cohn
Venue:Journal of Automated Reasoning