Concepedia

Author

Mauricio Cassola

Universidad de la República de Uruguay

Also Known As

M. Cassola, Mauricio Cassola

4

Publications

14

Citations

2

H-Index

10

Concepts

All Affiliations

Universidad de la República de Uruguay
MC

About

Mauricio Cassola is an author at Universidad de la República de Uruguay specializing in formal verification, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

10

2

Computer Science

1

1

10

3

Programming Languages

1

1

10

4

Software Analysis

1

1

10

5

Software Engineering

1

1

10

Mauricio Cassola

×

1

Publications

10

Citations

1

H-Index

YearCitations

Page 1