SPLASH 2024 (series) / Marco Milanese
Registered user since Tue 31 Oct 2023
Name:Marco Milanese
Country:France
Affiliation:Sorbonne University
Personal website: https://marmila.eu
Research interests:Bug Catching, Formal Methods, Abstract Interpretation, Incorrectness
Contributions
2024
Static Analysis Symposium
Using general profile