Name
Year | Venue | DocType |
|---|---|---|
2019 | International Symposium on Formal Methods | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jim Woodcock | 1 | 91 | 7.81 |
| Ana Cavalcanti | 2 | 37 | 4.70 |
| Simon Foster | 3 | 21 | 3.87 |
| Alexandre Mota | 4 | 12 | 3.37 |
| Kangfeng Ye | 5 | 1 | 1.72 |