Formal hardware verification in HOL and in Boyer-Moore: A comparative analysis (1991)

by C M Angelo, D Verkest, L Claesen, H De Man
Venue:In International Workshop on the HOL Theorem Proving System and its Applications