Registered user since Tue 12 Jan 2021
Name:Sophie Tourret
Country:France
Affiliation:Inria and Max Planck Institute for Informatics
Personal website: https://members.loria.fr/STourret/
Research interests:automated reasoning
Contributions
Using general profile