conf.researchr.org / Carlos Olarte

Registered user since Wed 10 Mar 2021
Name: Carlos Olarte
Country: Brazil
Affiliation: Federal University of Rio Grande do Norte, Brazil
Personal website: https://sites.google.com/site/carlosolarte/
Research interests: Formal methods, logic, concurrent systems
Contributions