Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/978-3-642-54108-7_13 | VSTTE |
Field | DocType | Citations |
Pointer (computer programming),Virtual file system,File system,Separation logic,Programming language,Flash file system,Directory,Computer science,POSIX,Operating system,Proof assistant | Conference | 15 |
PageRank | References | Authors |
0.71 | 17 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Gidon Ernst | 1 | 144 | 14.46 |
| Gerhard Schellhorn | 2 | 769 | 56.43 |
| Dominik Haneberg | 3 | 182 | 13.37 |
| Jörg Pfähler | 4 | 82 | 6.28 |
| Wolfgang Reif | 5 | 64 | 4.83 |