VMCAI 2025
Mon 20 - Tue 21 January 2025 Denver, Colorado, United States
co-located with POPL 2025
Samuel Chassot

Registered user since Tue 16 Jan 2024

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

Contributions

Show activities from other conferences

Using general profile