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
SLE 2021 | Committee Member in Program Committee within the SLE-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2021-profile
View general profile
View general profile