Hardware Verification using Higher−Order Logic
Hoofdauteurs: | , , |
---|---|
Formaat: | Report |
Gepubliceerd in: |
Computer Laboratory‚ University of Cambridge
1986
|
Hoofdauteurs: | , , |
---|---|
Formaat: | Report |
Gepubliceerd in: |
Computer Laboratory‚ University of Cambridge
1986
|