Yitao Ni is an author at Peking University specializing in formal methods, system software, and engineering.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2011–2011
1
1
Rows per page
1–1 of 1