3
Publications
130
Citations
3
H-Index
2013
Active since
Affiliations
Vaivaswatha Nagaraj is an author at Indian Institute of Science Bangalore specializing in software engineering, formal verification, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringCompilersHardware SecurityParallel Computing
Publications per year
2013–2019
3
3
Rows per page
1–3 of 3