Samuel Chassot

Registered user since Tue 16 Jan 2024

Name:Samuel Chassot
Country:Switzerland
Affiliation:EPFL, LARA
Research interests:Formal methods, Formal verification

Contributions