Concepedia

Author

Bruno Pacheco Sanches

Universidade Estadual de Campinas (UNICAMP)

Also Known As

Bruno Pacheco Sanches

1

Publications

25

Citations

1

H-Index

13

Concepts

All Affiliations

Universidade Estadual de Campinas (UNICAMP)
BP

About

Bruno Pacheco Sanches is an author at Universidade Estadual de Campinas (UNICAMP) specializing in formal verification, formal methods, and system software.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

25

2

Computer Engineering

1

1

25

3

Computer Science

1

1

25

4

Software Analysis

1

1

25

5

Software Engineering

1

1

25

Bruno Pacheco Sanches

×

1

Publications

25

Citations

1

H-Index

YearCitations

Page 1