Haihe Shi is an author at Jiangxi Normal University specializing in engineering, software analysis, and computer science.
Top concepts
EngineeringBusinessLogisticsAlgorithmsFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2009–2013
2
2
PAR-Based Formal Development of Algorithms
Haihe Shi, Jinyun Xue · Chinese Journal of Computers · 2009 · 11 citations
Rows per page
1–2 of 2