Rafael Menezes
Scholar

Rafael Menezes

Google Scholar ID: HW3Ho1AAAAAJ
The University of Manchester, Universidade Federal do Amazonas
Formal MethodsAutomated ReasoningStatic AnalysisAutomated verificationModel Checking
Citations & Impact
All-time
Citations
176
 
H-index
8
 
i10-index
7
 
Publications
20
 
Co-authors
2
list available
Contact
No contact links provided.
Resume (English only)