T M Pavithran is an author at Amrita Vishwa Vidyapeetham specializing in computer engineering, program analysis, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2017–2017
1
1
Rows per page
1–1 of 1