Report
Hardware Verification using Higher−Order Logic
Actions
Authors
Bibliographic Details
- Publisher:
- Computer Laboratory‚ University of Cambridge
- Publication date:
- 1986-06-01
Item Description
- UUID:
-
uuid:05a7f53b-6f57-4c50-8865-59f74e9c724e
- Local pid:
- cs:4742
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 1986
If you are the owner of this record, you can report an update to it here: Report update to this record