Name
Title | ||
|---|---|---|
Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types. |
Year | Venue | Field |
|---|---|---|
2007 | Trends In Functional Programming | Functional verification,Programming language,Computer science,Intelligent verification,Electronic circuit,High-level verification |
DocType | Citations | PageRank |
Conference | 2 | 0.41 |
References | Authors | |
10 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Edwin Brady | 1 | 111 | 9.45 |
| james mckinna | 2 | 464 | 43.02 |
| Kevin Hammond | 3 | 276 | 33.68 |