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
ISSTA/ECOOP 2024-profile
View general profile
View general profile