Rodrigo Ferreira
Scholar

Rodrigo Ferreira

Google Scholar ID: IIpRq38AAAAJ
Unknown affiliation
Programming LanguagesCompilersFormal SemanticsProgram Verification
Citations & Impact
All-time
Citations
223
 
H-index
2
 
i10-index
2
 
Publications
4
 
Co-authors
0