Omkar Pendse is an author at Oregon State University specializing in software maintenance, automated reasoning, and system software.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2003–2003
2
2
Rows per page
1–2 of 2