SPLASH 2023 (series) / João Batista Pereira Matos Júnior
Registered user since Thu 2 May 2019
Name:João Batista Pereira Matos Júnior
Country:Brazil
Affiliation:Sidia Instituto de Ciência e Tecnologia
Research interests:Machine Learning, Formal Verification, Software Engineering
Contributions
SPLASH 2023-profile
View general profile
View general profile