Name
Year | Venue | Field |
|---|---|---|
2018 | ICSOFT | Functional verification,Software engineering,Systems engineering,Abstract interpretation,Computer science |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Abdulaziz Alkhalid | 1 | 44 | 6.30 |
| Yvan Labiche | 2 | 2874 | 143.30 |