SPLASH 2021 (series) / 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
SPLASH 2021-profile
View general profile
View general profile