Concepedia

Author

Agustín Talagorria

Universidad de la República de Uruguay

Also Known As

Agustín Talagorria

3

Publications

10

Citations

1

H-Index

10

Concepts

All Affiliations

Universidad de la República de Uruguay
AT

About

Agustín Talagorria 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

Agustín Talagorria

×

1

Publications

10

Citations

1

H-Index

YearCitations

Page 1