NASA Formal Methods 2024 (series) / Elvinia Riccobene
Registered user since Tue 7 Apr 2020
Name:Elvinia Riccobene
Country:Italy
Affiliation:Computer Science Dept., University of Milan
Personal website: https://homes.di.unimi.it/riccobene/
Research interests:Formal methods
Contributions
Using general profile