Conference item icon

Conference item

Hardware Verification using Higher−Order Logic

Actions


Authors


Publisher:
North−Holland
Publication date:
1987-01-01
URN:
uuid:ec6a4eff-ddf6-4c38-8da0-ba592243c8d4
Local pid:
cs:4705
ISBN:
0-444-70194-X

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP