Hardware Verification using Higher−Order Logic
Հիմնական հեղինակներ: | , , |
---|---|
Ձևաչափ: | Report |
Հրապարակվել է: |
Computer Laboratory‚ University of Cambridge
1986
|
Հիմնական հեղինակներ: | , , |
---|---|
Ձևաչափ: | Report |
Հրապարակվել է: |
Computer Laboratory‚ University of Cambridge
1986
|