Registered user since Tue 12 Jan 2021
Name: Sophie Tourret
Affiliation: Max Planck Institute for Informatics
Contributions
| CPP 2021 | A Modular Isabelle Framework for Verifying Saturation Provers | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2021-profile
View general profile
View general profile