Shridhar Diwan is an author at Ames Research Center specializing in formal methods, system software, and parallel computing.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingDistributed SystemsFormal Verification
Publications per year
1998–2000
2
2
Rows per page
1–2 of 2