conf.researchr.org / Davide Basile
Registered user since Fri 24 Jan 2020
Name:Davide Basile
Country:Italy
Affiliation:CNR-ISTI
Personal website: https://davidebasile.github.io/
GitHub: https://github.com/davidebasile
Research interests:Formal methods, Software Engineering
Contributions