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