Name
Year | Venue | Field |
|---|---|---|
2014 | TACAS | Program slicing,Pointer analysis,Computer science,Slicing,Theoretical computer science,Symbolic execution,Recall |
DocType | Citations | PageRank |
Conference | 3 | 0.45 |
References | Authors | |
1 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jiri Slaby | 1 | 20 | 4.04 |
| Jan Strejcek | 2 | 99 | 13.83 |