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