1
Publications
45
Citations
1
H-Index
2011
Active since
Affiliations
Amit Suthar is an author at Indian Institute of Technology Kharagpur specializing in formal verification, software engineering, and formal methods.
Top concepts
EngineeringFormal MethodsSoftware DesignTest AutomationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2011–2011
1
1
Rows per page
1–1 of 1