1
Publications
38
Citations
1
H-Index
2013
Active since
Affiliations
Luiz Henrique da Cruz Silvestrini is an author at Universidade Estadual de Campinas (UNICAMP) specializing in engineering, formal methods, and automated reasoning.
Publications per year
2013–2013
1
1
Rows per page
1–1 of 1