ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024
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

Show activities from other conferences

ISSTA/ECOOP 2024-profile
View general profile