Concepedia

Author

Manchun Zheng

Also Known As

Manchun Zheng

11

Publications

200

Citations

7

H-Index

19

Concepts

All Affiliations

MZ

About

Manchun Zheng is an author at University of Delaware specializing in formal methods, engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

141

2

Computer Science

4

4

141

3

Computer Engineering

3

3

122

4

Computer Architecture

2

2

102

5

Systems Engineering

1

1

19

Manchun Zheng

×

4

Publications

141

Citations

4

H-Index

YearCitations

Page 1