conf.researchr.org / Sophie Tourret
Registered user since Tue 12 Jan 2021
Name:Sophie Tourret
Affiliation:Max Planck Institute for Informatics
Contributions
| CPP 2022 | Committee Member in Program Committee within the CPP 2022-track |
| CPP 2021 | Author of A Modular Isabelle Framework for Verifying Saturation Provers within the CPP 2021-track |