conf.researchr.org / Dmitry Chistikov
Not registered as user yet
Name:Dmitry Chistikov
Country:United Kingdom
Affiliation:University of Warwick
Contributions
| POPL 2022 | Author of Subcubic Certificates for CFL Reachability within the POPL-track |
Not registered as user yet
Contributions
| POPL 2022 | Author of Subcubic Certificates for CFL Reachability within the POPL-track |