Registered user since Sat 3 Jan 2026
Name:Isabel Amaral
Country:Portugal
Affiliation:INESC TEC, Faculty of Engineering, University of Porto
GitHub: https://github.com/isabel-amaral
Research interests:Formal Verification, Software Reliability, Software Testing
Contributions
Using general profile