Skip to main content

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic

Thomas Frederick Melham

Month
August
School
University of Cambridge
Year
1989