Name:Rafael Menezes

Country:United Kingdom

Affiliation:University of Manchester

Research interests:Software Model Checking, Automated Reasoning, Test-case generation