Using Recursive Types to Reason about Hardware in Higher Order Logic
Thomas F. Melham
Book Title
The Fusion of Hardware Design and Verification: Proceedings of the IFIP WG 10.2 Working Conference on The Fusion of Hardware Design and Verification: Glasgow‚ Scotland‚ 4–6 July‚ 1988
Editor
George J. Milne
ISBN
0−444−70532−5
Pages
27–50
Publisher
North−Holland
Year
1988