ISSTA/ECOOP 2024 (series) / Samuel Chassot
![Samuel Chassot](https://conf.researchr.org/getProfileImage/samuelchassot/81be767e-3ae9-46b6-b81a-ef146a6c6636/small.jpg?1717489172000)
Registered user since Tue 16 Jan 2024
Name:Samuel Chassot
Country:Switzerland
Affiliation:EPFL, LARA
Personal website: https://samuelchassot.github.io
GitHub: https://github.com/samuelchassot
Research interests:Formal methods, Formal verification
Contributions
Using general profile