Inductive Proof Planning for Automating Hardware Verification (1996)

by Francisco J Cantu