Concepedia

Author

Matko Botinčan

University of Cambridge

Also Known As

Botin\v{c}an, Matko, Botinčan, Matko, M. Botincan, Matko Botincan, Matko Botinčan

27

Publications

155

Citations

6

H-Index

16

Concepts

All Affiliations

University of CambridgeMenlo SchoolMeta (United States)
MB

About

Matko Botinčan is an author at University of Cambridge specializing in program analysis, formal methods, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

113

2

Computer Science

4

4

113

3

Software Analysis

4

4

113

4

Computer Engineering

2

2

43

5

Compilers

2

2

70

Matko Botinčan

×

4

Publications

113

Citations

4

H-Index

YearCitations

Page 1