Hierarchical Veri using an MDG-HOL Hybrid Tool (2001)

by S Kort, S Tahar, P Curzon
Venue:In Proceedings of the IFIP Conference on Correct Hardware Design and Veri Methods (CHARME'2001), Lecture Notes in Computer Science