Hierarchical Verification Using an MDG-HOL Hybrid Tool (2001)

by S Kort, S Tahar, P Curzon
Venue:Correct Hardware Design and Verification Methods, LNCS 2144