科研项目详细信息
TWC: Large: Collaborative: Verifiable Hardware: Chips that Prove their Own Correctness | |
Siddharth Garg | |
New York University | |
Subject:计算机科学(综合) | |
美国|英语 | |
01至01 | |
Source: National Science Foundation |
TWC: Large: Collaborative: Verifiable Hardware: Chips that Prove their Own Correctness | |
Siddharth Garg | |
New York University | |
Subject:计算机科学(综合) | |
美国|英语 | |
01至01 | |
Source: National Science Foundation |