Name
Title | ||
|---|---|---|
Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families. |
Year | Venue | DocType |
|---|---|---|
2016 | ISoLA | Conference |
Citations | PageRank | References |
3 | 0.41 | 9 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Loek Cleophas | 1 | 41 | 13.89 |
| Derrick G. Kourie | 2 | 223 | 33.10 |
| Vreda Pieterse | 3 | 24 | 8.12 |
| Ina Schaefer | 4 | 1634 | 99.16 |
| Bruce W. Watson | 5 | 338 | 53.24 |