Statistics
Publications
2
Citations
43
H-Index
2
Active since
2016
Affiliations
Phillipe Pereira is an author at Universidade Federal do Amazonas specializing in formal methods, model checking, and computer engineering.
Publications per year
2016–2016
2
2
1–2 of 2