POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
POPL 2024 (series) / Rafael Menezes
Rafael Menezes

Registered user since Tue 21 Jun 2022

Name:Rafael Menezes
Country:United Kingdom
Affiliation:University of Manchester
GitHub: https://github.com/rafaelsamenezes
Research interests:Software Model Checking, Automated Reasoning, Test-case generation

Contributions

Show activities from other conferences

POPL 2024-profile
View general profile