Name
Title | ||
|---|---|---|
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs. |
Year | Venue | DocType |
|---|---|---|
2019 | PACMPL | Journal |
Volume | Citations | PageRank |
3 | 0 | 0.34 |
References | Authors | |
0 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kevin Batz | 1 | 2 | 2.39 |
| Benjamin Lucien Kaminski | 2 | 126 | 10.46 |
| Joost-Pieter Katoen | 3 | 7 | 4.45 |
| Christoph Matheja | 4 | 2 | 2.06 |
| Thomas Noll | 5 | 326 | 27.79 |