Concepedia

Author

Mirco Dotta

Also Known As

Mirco Dotta

5

Publications

188

Citations

4

H-Index

14

Concepts

All Affiliations

MD

About

Mirco Dotta is an author at École Polytechnique Fédérale de Lausanne specializing in formal verification, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

182

2

Computer Science

3

3

182

3

Systems Engineering

1

1

52

4

Software Analysis

1

1

52

5

Software Engineering

1

1

52

Mirco Dotta

×

3

Publications

182

Citations

3

H-Index

YearCitations

Page 1