The notion of proof in hardware verification (1989)

by A Cohn
Venue:Journal of Automated Reasoning