Book icon

Book

Higher Order Logic and Hardware Verification

Actions


Authors


Publisher:
Cambridge University Press
Publication date:
1993
URN:
uuid:bfd84a02-2f35-45be-a17b-131e4c39fae6
Local pid:
cs:4671
ISBN:
0-521-41718-X

Terms of use


Metrics



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

TO TOP