Integration of HOL and MDG for hardware verification (1999)

by V K Pisini, S Tahar
Venue:Dept. of Electrical and Computer Engineering, Concordia University