Zhongling He is an author at Nanjing University specializing in system software, formal methods, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignStatic AnalysisSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2020–2020
1
1
Rows per page
1–1 of 1