Name
Year | Venue | Field |
|---|---|---|
2012 | ITP | HOL,USable,Separation logic,Algebra,Computer science,Virtual memory,Heap (data structure) |
DocType | Citations | PageRank |
Conference | 6 | 0.48 |
References | Authors | |
6 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Gerwin Klein | 1 | 1450 | 87.47 |
| Rafal Kolanski | 2 | 802 | 34.23 |
| Andrew Boyton | 3 | 19 | 2.33 |