Concepedia

Author

Mirka Leino

Microsoft (United States)ORCID

Also Known As

Leino M., Leino Mirka, M. Leino, Mirka LEİNO, Mirka Leino

51

Publications

778

Citations

12

H-Index

47

Concepts

All Affiliations

Microsoft (United States)Iowa State UniversityRadboud University NijmegenSatakunta University of Applied Sciences
ML

About

Mirka Leino is an author at Microsoft (United States) specializing in formal verification, program analysis, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

327

2

Business

1

1

35

3

Education

1

1

35

4

Health Sciences

1

1

26

5

Medicine

1

1

26

Mirka Leino

×

9

Publications

543

Citations

9

H-Index

YearCitations

Page 1