14
Publications
315
Citations
12
H-Index
2011
Active since
Mingyue Jiang is an author at Zhejiang Sci-Tech University specializing in engineering, computer science, and formal verification.
Top concepts
EngineeringComputer ScienceSoftware TestingFormal VerificationSoftware AnalysisSoftware EngineeringSoftware DesignProgram AnalysisSystems EngineeringVerification
Publications per year
2011–2022
14
14
Rows per page
1–5 of 14