ISSTA/ECOOP 2024 (series) / Rafael Menezes
Registered user since Tue 21 Jun 2022
Name:Rafael Menezes
Country:United Kingdom
Affiliation:University of Manchester
Research interests:Software Model Checking, Automated Reasoning, Test-case generation
Contributions
2024
Using general profile