Registered user since Sat 6 Jan 2024
Name:Paul Patault
Country:France
Affiliation:Université Paris-Saclay - Laboratoire de Méthodes Formelles
Personal website: https://paulpatault.fr
Research interests:Proof of programs
Contributions
Using general profile