On the Comparison of HOL and Boyer{Moore for Formal Hardware Veri cation (1993)

by C M Angelo, D Verkest, L Claesen, H deMan
Venue:Formal Methods in System Design