Name
Year | DOI | Venue |
|---|---|---|
2014 | 10.1007/978-3-319-10431-7_6 | SEFM |
Field | DocType | Citations |
Data structure,Parameterized complexity,Computer science,Invariant (computer science),Unit testing,Algorithm,Theoretical computer science,Heap (data structure),Test data,Symbolic execution,Invariant (mathematics) | Conference | 0 |
PageRank | References | Authors |
0.34 | 20 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Maria Christakis | 1 | 200 | 16.69 |
| Peter Müller | 2 | 95 | 11.07 |
| Valentin Wüstholz | 3 | 117 | 8.46 |