conf.researchr.org / Rafael Menezes
![Rafael Menezes](https://conf.researchr.org/getProfileImage/rafaelmenezes/5871db23-374e-4b34-816b-ba4b0d57f912/small.jpg?1711739936000)
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