Concepedia

Author

Matias Ezequiel Vara Larsen

Institut national de recherche en sciences et technologies du numérique

Also Known As

Matias Ezequiel Vara Larsen, Matias Vara Larsen, Vara Larsen, Matias Ezequiel

6

Publications

50

Citations

2

H-Index

12

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numérique
ME

About

Matias Ezequiel Vara Larsen is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal specification, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

42

2

Computer Science

1

1

42

3

Systems Engineering

1

1

42

4

Complex Systems

1

1

42

5

Automated Reasoning

1

1

42

Matias Ezequiel Vara Larsen

×

1

Publications

42

Citations

1

H-Index

YearCitations

Page 1