Name
Year | Venue | Field |
|---|---|---|
2019 | SOCS | Programming language,Computer science,Satisfiability,Abstraction refinement |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Nils Christian Froleyks | 1 | 0 | 0.68 |
| Tomás Balyo | 2 | 0 | 2.03 |
| Dominik Schreiber | 3 | 0 | 0.68 |