Name
Year | Venue | Field |
|---|---|---|
2014 | VSTTE | HOL,Kernel (linear algebra),Programming language,Integrated modular avionics,Computer science,Correctness,Theoretical computer science,Implementation,Natural language,Security policy,Computer security model |
DocType | Citations | PageRank |
Conference | 3 | 0.40 |
References | Authors | |
11 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| David Sanán | 1 | 72 | 16.51 |
| Andrew Butterfield | 2 | 68 | 7.85 |
| Mike Hinchey | 3 | 494 | 51.89 |