Hardware Verification using Higher−Order Logic
| Main Authors: | , , |
|---|---|
| Formato: | Report |
| Publicado em: |
Computer Laboratory‚ University of Cambridge
1986
|
| Main Authors: | , , |
|---|---|
| Formato: | Report |
| Publicado em: |
Computer Laboratory‚ University of Cambridge
1986
|