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
SPLASH 2024-profile
View general profile
View general profile