Concepedia

Author

Man-Kit Leung

Also Known As

Man-Kit Leung

9

Publications

258

Citations

6

H-Index

11

Concepts

ML

About

Man-Kit Leung is an author specializing in formal methods, software design, and system software.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

44

2

Computer Engineering

1

1

44

3

Computer Science

1

1

44

4

Software Analysis

1

1

44

5

Formal Methods

1

1

44

Man-Kit Leung

×

3

Publications

176

Citations

3

H-Index

YearCitations

Page 1