Concepedia

Author

Vanessa Santos

Universidade Federal de ViçosaORCID

Also Known As

Vanessa Karyne Atenas dos Santos, Vanessa Letícia dos Santos, Vanessa Santos

15

Publications

25

Citations

2

H-Index

14

Concepts

All Affiliations

Universidade Federal de Viçosa
VS

About

Vanessa Santos is an author at Universidade Federal de Viçosa specializing in formal verification, computer engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

22

2

Computer Engineering

1

1

22

3

Computer Science

1

1

22

4

Computer Architecture

1

1

22

5

Software Analysis

1

1

22

Vanessa Santos

×

1

Publications

22

Citations

1

H-Index

YearCitations

Page 1