14
Publications
296
Citations
11
H-Index
2000
Active since
Affiliations
Dipanwita Sarkar is an author at University of Kalyani specializing in engineering, program analysis, and formal verification.
Top concepts
EngineeringAquacultureFormal MethodsComputer ScienceProgram AnalysisFormal VerificationEnvironmental EngineeringSoftware TestingSoftware AnalysisComputer Engineering
Publications per year
2000–2018
14
14
Rows per page
1–5 of 14