Concepedia

Author

Andreia Gaspar

University of LisbonORCID

Also Known As

A. Gaspar, Andre Pereira Gaspar, Andreia Gaspar, Andreia S Gaspar, Andreia S. Gaspar, Gaspar, Andreia

33

Publications

315

Citations

7

H-Index

8

Concepts

All Affiliations

University of LisbonKing's College LondonINESC TEC
AG

About

Andreia Gaspar is an author at University of Lisbon specializing in verification, software analysis, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

19

2

Computer Science

1

1

19

3

Signal Processing

1

1

19

4

Software Analysis

1

1

19

5

Formal Methods

1

1

19

Andreia Gaspar

×

5

Publications

274

Citations

5

H-Index

YearCitations

Page 1