1
Publications
46
Citations
1
H-Index
2021
Active since
Affiliations
Jeronimo Nunes Rocha is an author at Hospital das Clínicas da Universidade Federal de Minas Gerais specializing in program analysis, automated reasoning, and computer engineering.
Top concepts
CompilersEngineeringData ScienceComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisParallel ComputingAutomated ReasoningComputer Engineering
Publications per year
2021–2021
1
1
Rows per page
1–1 of 1