A Comparison of MDG and HOL for Hardware Verification (1996)

by Sofiène Tahar , Paul Curzon
Citations:3 - 1 self