|
|
Using Recursive Types to Reason about Hardware in Higher Order Logic
Thomas F. Melham infobook 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 |
links
BibTeX
related pages
|
|
|
|
