Hardware Verification using Higher−Order Logic
Päätekijät: | , , |
---|---|
Aineistotyyppi: | Report |
Julkaistu: |
Computer Laboratory‚ University of Cambridge
1986
|
Päätekijät: | , , |
---|---|
Aineistotyyppi: | Report |
Julkaistu: |
Computer Laboratory‚ University of Cambridge
1986
|