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