Verify: A program for proving correctness of digital hardware designs (1984)

by H G Barrow
Venue:Artificial Intelligence