1
Publications
41
Citations
1
H-Index
2013
Active since
Affiliations
Karlsruhe Institute of Technology(Current)
José Rodrigo F. Azambuja is an author at Karlsruhe Institute of Technology specializing in hardware security, automated reasoning, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisAutomated Reasoning
Publications per year
2013–2013
1
1
Rows per page
1–1 of 1