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