Hardware Verification using Higher−Order Logic
Hlavní autoři: | , , |
---|---|
Médium: | Report |
Vydáno: |
Computer Laboratory‚ University of Cambridge
1986
|
Hlavní autoři: | , , |
---|---|
Médium: | Report |
Vydáno: |
Computer Laboratory‚ University of Cambridge
1986
|