Skip to main content

Using Recursive Types to Reason about Hardware in Higher Order Logic

Thomas F. Melham

Institution
Computer Laboratory‚ University of Cambridge
Month
May
Number
135
Year
1988