conf.researchr.org / Sofia Vieira Pinto
Registered user since Wed 29 Jul 2026
Name:Sofia Vieira Pinto
Country:Portugal
Affiliation:INESC TEC; University of Porto
GitHub: https://github.com/SofiaViP
Research interests:Software Verification
Contributions