AST 2024
Mon 15 - Tue 16 April 2024 Lisbon, Portugal
co-located with ICSE 2024

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

Show activities from other conferences

ICSE 2024-profile
View general profile