Conference item icon

Conference item

Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs

Actions


Authors


Publisher:
IEEE
Publication date:
2013-01-01
URN:
uuid:72621860-f3d9-4bc1-88f1-ef8f90e7f770
Local pid:
cs:7488
ISBN:
978-0-9835678-3-7/13

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