Lijun Lun is an author at Harbin Normal University specializing in engineering, computer science, and formal verification.
Top concepts
EngineeringComputer ScienceVerificationFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
1992–2018
5
5
Rows per page
1–5 of 5