4
Publications
100
Citations
4
H-Index
2012
Active since
Affiliations
Purdue University West Lafayette(Current)
Sheila Rodriguez is an author at Purdue University West Lafayette specializing in engineering, program analysis, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisLogic ProgrammingSoftware AnalysisAutomated ReasoningFormal VerificationSystems EngineeringSoftware Engineering
Publications per year
2012–2017
4
4
Rows per page
1–4 of 4