Concepedia

Author

Mike Emmi

University of California, Los Angeles

Also Known As

Mike Emmi

2

Publications

25

Citations

2

H-Index

12

Concepts

All Affiliations

University of California, Los Angeles
ME

About

Mike Emmi is an author at University of California, Los Angeles specializing in formal methods, software engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

20

2

Computer Engineering

1

1

20

3

Computer Science

1

1

20

4

Compilers

1

1

20

5

Software Analysis

1

1

20

Mike Emmi

×

1

Publications

20

Citations

1

H-Index

YearCitations

Page 1