Registered user since Fri 15 Sep 2023
Name:Matteo Rossi
Country:Italy
Affiliation:Politecnico di Milano
Research interests:Formal Methods, Software Engineering, Formal Verification, Temporal Logics, Human-robot interaction, Intelligent Transport Systems
Contributions
ICSE 2024-profile
View general profile
View general profile