Name
Year | Venue | DocType |
|---|---|---|
2019 | International Symposium on Formal Methods | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Étienne André | 1 | 294 | 35.08 |
| Paolo Arcaini | 2 | 3 | 2.77 |
| Angelo Gargantini | 3 | 1 | 1.72 |
| Marco Radavelli | 4 | 0 | 0.68 |