ECOOP and ISSTA 2023 (series) / Emilio Tuosto
Registered user since Fri 9 Jul 2021
Name:Emilio Tuosto
Country:Italy
Affiliation:Gran Sasso Science Institute, L'Aquila, Italy
Personal website: https://cs.gssi.it/emilio.tuosto/
Research interests:Formal methods for concurrent and distributed systems
Contributions
ECOOP and ISSTA 2023-profile
View general profile
View general profile